verdi
by uwplse
A framework for formally verifying distributed systems implementations in Coq
AI summary
Distributed system verifier
A framework for formally verifying distributed systems implementations in Coq.
- stars
- 595
- forks
- 56
- watching
- 67
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Distributed Consensus Protocol
An implementation of the Raft distributed consensus protocol verified in Coq
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
Fault-tolerant system verifier
A framework for verifying the correctness of Byzantine fault-tolerant distributed systems
Distributed system framework
A framework for implementing and verifying distributed systems using Coq
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
Command processor verifier
Adds support for verifying a specific command processing framework
Program verifier
Automated verification of higher-order programs using separation logic
Type inference tool verifier
A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools.
Contract verifier
A framework for verifying smart contracts using Coq
contract verifier
A framework for verifying smart contracts in Coq
Serialization library
A formally verified serialization library for Coq
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
System verification framework
A framework for developing and verifying distributed systems using separation logic
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions verdi.
