avm-semantics
AI summary
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
- stars
- 15
- forks
- 4
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Verified contracts
Formally verified smart contracts for blockchain applications
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
Compiler verifier
A formal verification project of the LLVM compiler's semantics using Coq proof assistant.
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
EVM verifier
A framework for verifying smart contract code on the Ethereum Virtual Machine
Package Verifier
Tool for verifying package integrity and security in the npm ecosystem
Contract verifier
A framework for verifying smart contracts using Coq
Contract Verifier
A framework for verifying smart contracts in Coq to ensure their correctness and security
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, a proof assistant language.
Neural network verifier
A toolkit for enforcing logical specifications on neural networks
Smart contract validator
A symbolic execution tool for verifying the correctness of smart contracts written in Cairo.
Contract runtime
A Go library wrapper around the CosmWasm VM for compiling and executing smart contracts.
a16z/halmos835
Contract tester
A symbolic testing tool for Ethereum Virtual Machine (EVM) smart contracts
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions avm-semantics.
