Security
Kontrol
Formal verification tool for Solidity and Foundry projects, built by Runtime Verification.
Formal verification tool for Solidity and Foundry projects, built by Runtime Verification.
Kontrol is useful for builders evaluating Security across Ethereum, Base, Polygon.