ALR logo

Alire

Coap_spark

Website:

https://github.com/mgrojo/coap_spark

Author:
  • Manuel Gomez
Maintainer:
  • Manuel Gomez <mgrojo@gmail.com>
License:

Apache-2.0 OR GPL-2.0-or-later

Version:

0.9.0

Alire CI:

Dependencies: Dependents: Badge:

CoAP implementation formally verified with SPARK/Ada

#spark #coap #iot #protocol

CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in RFC 7252, developed in the SPARK language, the formally verified subset of the Ada programming language.

This version implements the client side of the protocol with some limitations:

  • It does not support block-wise transfers.
  • It does not support retransmission of messages.
  • It only supports NoSec and PreSharedKey security modes.

See LICENSING for licensing information.