Runtime Verification

High-assurance cybersecurity and formal-methods company providing audits, formal verification, symbolic execution, fuzzing, and developer tools for critical software and blockchain systems.

Dashboard Explore

Services

Security (1)

View options

Tag

["Smart contract security", "Formal verification", "Symbolic execution", "Open source"]

Description

Open-source formal verification tool for EVM smart contracts that uses Foundry tests as specifications and KEVM for symbolic execution.

Plan Type

Free