CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in RFC 7252, developed in SPARK and formally verified.
The version 0.10.0 has been published in the Alire community index. The new release adds server support and a sample server implementation.