Runtime Verification, Inc.

URBANA, IL · Defense · Private

Runtime verification software for embedded systems that monitors and analyzes system behavior to detect failures and security violations

Claim this profile

Follows are private to you and power your alerts

Updated · runtimeverification.com

Sector
Defense
Headquarters
URBANA, IL
Latest Form D
$5.3M, Jun 2021
Total capital
$6.2M
Federal grants
$930K
2 awards · 2015–2017
Rank in peer group#1 of 40
Private capital raised
$5.3M
1 Form D · last Jun 2021
64 months since last filing
Federal contracts
None on recordNo federal contract awards found.
Granted patents
2
1 pending · first 2019
Rank in peer group#5 of 40

Capital timeline

2015201620172018201920202021FEDERAL ↑EQUITY ↓Cumulative $6.2M$180K$750K1st Form D$5.3M
2015201720192021FEDERAL ↑EQUITY ↓Cumulative $6.2M$180K$750K1st Form D$5.3M

Latest events

  • Private capital raisedForm D · SEC · 1st filing$5.3M
  • Federal grantNSF · Phase II · SBIR Phase II: RV-Embedded: Runtime Verification for Embedded Systems$750K
  • Federal grantNSF · Phase I · SBIR Phase I: Runtime Verification for Automobiles$180K

Node area is scaled to amount. Form D reports securities sold, which can differ from an announced round; filings are numbered in the order they were made.

Federal first

72months

from Runtime Verification, Inc.’s first federal award to its first private round.

First federal award · Jun 2015
NSF · $180K
First Form D · Jun 2021
$5.3M · 1st Form D
Awards before first raise
2 awards

An association in public records, not a cause or a prediction.

Standing among 40 peers

Line = median

Defense · Software

  • Federal grants#1 · top 3%
  • Granted patents#5 · top 13%

Cumulative measures favor older companies. Rankings describe position today, not outcome. Below the median, ranks show as a band rather than a number.

Founders and team

Researcher links verified by same-company patents and grants
  • Grigore RosuResearcherExecutive Officer, DirectorLinked by $180K in grants as PI
  • Patrick MacKayDirectorNamed in SEC Form D filings

What it has protected

USPTO · 2 granted of 3

Regulatory activity · Defense

Sector-level, not company-level

Rules are matched to sector, not to company. Recent activity in a sector is context rather than a signal about this business — until rules are matched to what a company actually builds, the section is shown as context and nothing more.

Sources

Federal grants from SBIR/STTR, NIH, NSF and DoD records. Federal contracts from USAspending.gov. Private capital from SEC Form D. Patents from USPTO. Publications from OpenAlex. Regulatory activity from the Federal Register. Press matched on company name.

How to read this page

Figures show associations in public records, not causes or predictions. Nothing here is investment advice. An em-dash means no record was found under this company's name, not that none exists.

Data freshness

SEC Form D filings through . SBIR and STTR awards through .