GitHub repository: mgrojo/coap_spark
Primary language: Ada
Description: Formally verified implementation of the CoAP protocol in SPARK/Ada