Velisarios
by vrahli
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
AI summary
Fault-tolerant system verifier
A framework for verifying the correctness of Byzantine fault-tolerant distributed systems
- stars
- 28
- forks
- 5
- watching
- 3
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.
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
SystemVerilog parser
Develops a system for parsing and analyzing SystemVerilog code to improve developer productivity and ensure style compliance.
Verifier
An implementation of a DeepPoly-based verifier for robustness analysis in deep neural networks
Vulkan verifier
A set of tools to help developers verify correct use of the Vulkan API and detect potential errors in their applications.
Contract Verifier
A framework for verifying smart contracts in Coq to ensure their correctness and security
Floating-point verifier
A unified framework for verifying C programs with floating-point computations using Coq
contract verifier
A framework for verifying smart contracts in Coq
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
RISC-V Verifier
A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches.
Compiler verifier
A formal verification project of the LLVM compiler's semantics using Coq proof assistant.
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
EVM verifier
A framework for verifying smart contract code on the Ethereum Virtual Machine
