Reviews
Ada binding to the Z3 Theorem Prover
Search similar apps
License
MIT License
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
RecordFlux
Formal specification and generation of verifiable binary parsers, message genera
Ada91agpl-3.0
last year
adabinary-parsercommunication-protocol
SXML
Formally verified, bounded-stack XML library
Ada19agpl-3.0
4 years ago
adaformal-methodsformal-verification