ConCert
A framework for smart contract verification in Coq
AI summary
Contract Verifier
A framework for verifying smart contracts in Coq to ensure their correctness and security
- stars
- 0
- forks
- 0
- watching
- 0
Similar projects
Found by comparing what the projects do, not just their names.
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
contract verifier
A framework for verifying smart contracts in Coq
Smart contract verifier
A framework for verifying smart contracts in Coq using formal methods and property-based testing.
Contract verifier
A framework for verifying smart contracts using Coq
Graph verifier
A verification toolset for graph-manipulating programs written in Coq.
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
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
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Verification library
Enables verified interaction between Coq programs and C libraries
Document verifier
A library that verifies documents by comparing images of scanned or exported documents with predefined templates.
Document Verifier
A tool that verifies documents by converting them to text and checking their content
Coq verifier
Formal verification of Python code using Coq
