ATPL-Project
by AStenbaek
A framework for smart contract verification in Coq
AI summary
Contract verifier
A framework for verifying smart contracts using Coq
- 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 to ensure their correctness and security
Contract verification framework
A Coq-based library providing a formal verification framework for the Tezos smart contract 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 in Coq
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Coq verifier
Formal verification of Python code using Coq
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
Program verifier
Automated verification of higher-order programs using separation logic
