ConCert
by JosefGIT
A framework for smart contract verification in Coq
AI summary
Contract Verifier
A framework for verifying smart contracts in Coq, a proof assistant language.
- 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 to ensure their correctness and security
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.
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract language
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
JavaScript verifier
A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Coq verifier
Formal verification of Python code using Coq
Identity verifier
An identity verification system with GraphQL and Postgres database
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Smart contract validator
A symbolic execution tool for verifying the correctness of smart contracts written in Cairo.
