viperproject / carbonLinks
Verification-condition-generation-based verifier for the Viper intermediate verification language.
☆30Updated last week
Alternatives and similar repositories for carbon
Users that are interested in carbon are comparing it to the libraries listed below
Sorting:
- Definition of the Viper intermediate verification language.☆86Updated this week
- ☆55Updated 2 months ago
- Formalization of C++ for verification purposes.☆81Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆106Updated this week
- Coq library for tactics, basic definitions, sets, maps☆49Updated this week
- Cerberus C semantics☆62Updated this week
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- Gallina to Bedrock2 compilation toolkit☆56Updated this week
- A mechanisation of Wasm in Coq(Rocq)