RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
104 stars
11 watching
6 forks
Language: Ada
last commit: 5 days ago
Linked from 1 awesome list
adabinary-parsercommunication-protocolformal-methodsformal-specificationformal-verificationparserprotocol-parserprotocol-specificationpythonspark
ohenley/awesome-ada