Maven 11 — 2021 Investments

1 investments dated 2021 · listed companies and verified rows first · show all

Runtime Verificationruntimeverification.comin 𝕏Jun 2021

Runtime Verification builds formal verification and symbolic execution tools, including the K Framework and Kontrol, that mathematically prove software correctness for developers.

Crypto & Web3CybersecurityDeveloper ToolsUrbana, US

Patrick MacKay(Director)

BoardGrigore Rosu(Founder)

Rows marked “SEC filing” are inferred from directors named on the company's SEC Form D — public regulatory data, not a portfolio list published by the firm.