avm-semantics
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
15 stars
15 watching
4 forks
Language: Python
last commit: 24 days ago
Linked from 1 awesome list
awesome-algorand/awesome-algorandRelated projects:
| Repository | Description | Stars |
|---|---|---|
| runtimeverification/verified-smart-contracts | Formally verified smart contracts for blockchain applications | 718 |
 valida-xyz/valida | A virtual machine for efficient and modular verification of program executions using Stark-based verification methods. | 290 |
 vellvm/vellvm | A formal verification project of the LLVM compiler's semantics using Coq proof assistant. | 400 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 782 |
 pirapira/evmverif | A framework for verifying smart contract code on the Ethereum Virtual Machine | 44 |
 verifynpm/tbv | Tool for verifying package integrity and security in the npm ecosystem | 58 |
 astenbaek/atpl-project | A framework for verifying smart contracts using Coq | 0 |
 frederikvigen/concert | A framework for verifying smart contracts in Coq to ensure their correctness and security | 0 |
 au-cobra/concert | A framework for verifying smart contracts in Coq using formal methods and property-based testing. | 114 |
 josefgit/concert | A framework for verifying smart contracts in Coq, a proof assistant language. | 0 |
 vehicle-lang/vehicle | A toolkit for enforcing logical specifications on neural networks | 80 |
 veridise/medjai | A symbolic execution tool for verifying the correctness of smart contracts written in Cairo. | 49 |
 cosmwasm/wasmvm | A Go library wrapper around the CosmWasm VM for compiling and executing smart contracts. | 175 |
 a16z/halmos | A symbolic testing tool for EVM smart contracts written in Python | 815 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |