avm-semantics
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
15 stars
16 watching
4 forks
Language: Python
last commit: almost 2 years agoLinked from 1 awesome list
awesome-algorand/awesome-algorandRelated projects:
| Repository | Description | Stars |
|---|---|---|
| runtimeverification/verified-smart-contracts | Formally verified smart contracts for blockchain applications | 720 |
 valida-xyz/valida | A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features. | 303 |
 vellvm/vellvm | A formal verification project of the LLVM compiler's semantics using Coq proof assistant. | 405 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 791 |
 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 | 59 |
 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 | 82 |
 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. | 179 |
 a16z/halmos | A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts | 835 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |