Toolbox
Contributor
Providers
ToolboxContributorProvidersOthers
Providers/Runtime Verification
Refreshing provider data...
Runtime Verification

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.

DashboardExploreLinkedInX

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
chain.love

chain.love

LinkedInXTelegramGitHub
DocumentationWhitepaper

©2024-2026 CHAIN.LOVE