coap_spark

v0.9.0

CoAP implementation formally verified with SPARK/Ada

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.

Install

Globally install this crate:

alr install coap_spark

Add to your project:

alr with coap_spark

Crate Information

Versions

Authors

  1. Manuel Gomez

Maintainers

Maintainers (GitHub pseudo)

Release Date

last month

First Release

5/19/2025

Statistics

Dependencies: 2

Dependents: 1

Versions: 1

Dependencies

gnatprove^14.1.1
wolfssl^5.8.0

Dependents