Reviews
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Search similar apps
License
GNU Affero General Public License v3.0
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Creator
Related apps
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python14agpl-3.0
4 years ago
adabinding-generatorbindings
gneiss
Framework for platform-independent SPARK components
Ada22agpl-3.0
4 years ago
adacomponent-basedembedded
libsparkcrypto
A cryptographic library in SPARK 2014
Ada26
3 years ago
crypto-libraryformal-verification
SXML
Formally verified, bounded-stack XML library
Ada19agpl-3.0
4 years ago
adaformal-methodsformal-verification