Runtime Verification company
Overview
Runtime Verification (RV) is a company specializing in formal verification of smart contracts and blockchain systems. It uses the K Framework for rigorous mathematical analysis of code correctness. The firm has audited numerous high-profile DeFi protocols and bridges.
Within the DeFi Intel graph, Runtime Verification connects to 4 tracked entities, most strongly to Morpho Blue, Grigore Roșu, United States.
Relations
Top connections in the DeFi Intel knowledge graph (confidence-weighted, 4 of 4 total).
| Relation | Connected entity | Confidence |
|---|---|---|
audits | Morpho Blue | 90% |
founded_by | Grigore Roșu | 90% |
headquartered_in | United States | 85% |
audits | StakeWise V2 | 85% |
Sources
Frequently asked questions
What does Runtime Verification specialize in?
Runtime Verification specializes in formal verification of smart contracts and blockchain systems using the K Framework for rigorous mathematical analysis of code correctness.
Who founded Runtime Verification?
Runtime Verification was founded by Grigore Roșu.
Which protocols has Runtime Verification audited?
Runtime Verification has audited Morpho Blue and StakeWise V2.