List of Security Vulnerabilitiesruntimeverification/verified-smart-contracts
A collection of smart contracts that have undergone formal verification using the K-framework to ensure correctness against specifications.
745138Solidity
3 years agoThere are currently 3 open-source projects built with K-framework, with a combined total of 1.3k GitHub stars. The most common language among these projects is KCL.
Showing 3 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
