K Framework
3 projects
Showing 3 of 3 projects
List of Security VulnerabilitiesSolidity
A collection of smart contracts that have undergone formal verification using the K-framework to ensure correctness against specifications.
#smart-contracts#reachability-logic#security
Stars745
Forks138
Last commit
KEVMKCL
A formal semantics of the Ethereum Virtual Machine (EVM) written in the K framework, enabling verification and symbolic execution of smart contracts.
#smart-contracts#security#symbolic-execution
Stars586
Forks155
Last commit10 days ago
avm-semanticsPython
Formal semantics of the Algorand Virtual Machine and TEAL smart contract language in the K framework for testing and verification.
#smart-contracts#virtual-machine#testing
Stars15
Forks4
Last commit9 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.