CertiGraph
by CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
AI summary
Graph verifier
A verification toolset for graph-manipulating programs written in Coq.
- stars
- 17
- forks
- 5
- watching
- 10
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Identity verifier
An identity verification system with GraphQL and Postgres database
C verifier
A template project for verifying the correctness of C programs in Coq
Verification library
Enables verified interaction between Coq programs and C libraries
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
Contract Verifier
A framework for verifying smart contracts in Coq to ensure their correctness and security
C compiler
A compiler for a subset of the C language that can be compiled with any standard C compiler, used in formal verification and proof assistance.
Cryptography validator
A framework for formal verification and validation of cryptographic proofs using Coq
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
JavaScript verifier
A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Logging verifier
A tool for verifying Serilog logging behavior in C# applications
Graph formalizer
Formalized graph theory results for research and verification
Coq verifier
Formal verification of Python code using Coq
Logical relation library
A Coq-based library for establishing logical relations in formal verification and proof assistance
Featured in 1 awesome list
Each link jumps to the spot where the list mentions CertiGraph.