perennial
by mit-pdos
Verifying concurrent crash-safe systems
AI summary
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
- stars
- 165
- forks
- 36
- watching
- 16
Similar projects
Found by comparing what the projects do, not just their names.
uwplse/verdi595
Distributed system verifier
A framework for formally verifying distributed systems implementations in Coq.
Program verifier
Automated verification of higher-order programs using separation logic
File system
A file system written and verified in the Coq proof assistant with a focus on security.
Fault-tolerant system verifier
A framework for verifying the correctness of Byzantine fault-tolerant distributed systems
RISC-V Verifier
A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches.
SystemVerilog parser
Develops a system for parsing and analyzing SystemVerilog code to improve developer productivity and ensure style compliance.
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
Graph verifier
A verification toolset for graph-manipulating programs written in Coq.
Contract verifier
A framework for verifying smart contracts using Coq
mit-plv/kami143
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
Prime number verifier
A proof assistant library for prime number certification using elliptic curves and Pocklington certificates
MongoDB Verifier
A tool for verifying MongoDB operations and recording their execution
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
