R

Runtime Verification Inc

46 employees

Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.

Basic info

Industry

software development

Sectors

Intrusion Detection
Dynamic analysis
Runtime verification
Formal smart contract verification
Program validation and verification
Software
Programming languages
Information Technology

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

FAQ