Fundraising Fox

Runtime Verification

Urbana, US · Delaware corporation · 4 known investors

runtimeverification.com ↗

Runtime Verification builds formal verification and symbolic execution tools, including the K Framework and Kontrol, that mathematically prove software correctness for developers. Spun out of the University of Illinois at Urbana-Champaign, it serves organizations building high-assurance software across domains such as blockchain (Solidity/EVM), Rust, and WebAssembly.

Crypto & Web3CybersecurityDeveloper Toolsin /3142238@rv_inc

Founders & leadership

PM
Patrick MacKayDirector
GR
Grigore RosuFounder

Investors · 4

Borderless VentureClermont
Fenbushi CapitalShanghai · $1.3M – $30M
IOSG VenturesHong Kong · $10K – $100K
Maven 11Amsterdam

Reported raises · per SEC filings

Form D private placements
▶$5.3MraisedJun 2021 · 9 investors · Other Technology
Rule 506(b)
Officers, directors & promoters on the filing
  • Grigore RosuExecutive Officer, Director
  • Patrick MacKayDirector
Offering amount
$5.3M
Amount sold
$5.3M
First sale
Jun 2021
Incorporated
Corporation, Delaware
Federal exemptions
06b
Full filing on SEC EDGAR ↗

Source: SEC EDGAR Form D. Amounts as filed; amended filings shown once at their latest values.