Basic info
Industry
software development
Sectors
Information Technology
Intrusion Detection
Runtime verification
Program validation and verification
Software
Dynamic analysis
Formal smart contract verification
Programming languages
Date founded
2010
Funding rounds raised
Total raised
$5.3M
from 7 investors over 7 rounds
R
Runtime Verification Inc raised $5.3M on June 30, 2021
Investors: Maven 11 Capital, Tezos Foundation, Fenbushi Capital, Hypersphere Ventures, Borderless Capital, Wave Financial and Elrond Network