ConCert
by siimplex
A framework for smart contract verification in Coq
AI summary
contract verifier
A framework for verifying smart contracts in Coq
- stars
- 1
- 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 to ensure their correctness and security
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
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
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
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
Verification library
Enables verified interaction between Coq programs and C libraries
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
uwplse/verdi595
Distributed system verifier
A framework for formally verifying distributed systems implementations in Coq.
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
C verifier
A template project for verifying the correctness of C programs in Coq
Logging verifier
A tool for verifying Serilog logging behavior in C# applications
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
