CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP) as defined in RFC 7252, developed in SPARK and verified to be free of run-time errors (silver level).
This version implements the client side of the protocol with some limitations:
- It does not support block-wise transfers (extension to RFC 7252).
- It does not support retransmission of messages.
- It only supports NoSec and PreSharedKey security modes.
An example and tool implementing a command-line CoAP client can be found in the coap_client crate.