Runtime Verification, Inc.
Runtime Verification, Inc. is an artificial intelligence company in Urbana, United States, founded in 2015. It has raised $1.5M across 2 rounds, most recently a $750K Grant in August 2021.
Runtime Verification - Web3 and Blockchain Security
- Headquarters
- Urbana, Illinois
- Employees
- 11–50
- Founded
- 2015
- Business Model
- B2B
- Website
- runtimeverification.com
- Total Funding
- $1.5M
- Last Round
- $750K GrantAug 2021
- Rounds
- 2
Totals include recorded grants and other qualifying funding, not just equity. What counts toward funding.
Indexed holds 2 funding rounds for this company. The full record is or through the API.
About
Runtime Verification, Inc. provides cybersecurity consulting for critical systems, drawing on expertise in software modelling, property identification, fuzzing, and formal verification. Its consulting work applies these software analysis and verification methods to the security and assurance needs of critical systems.
Summary
It lists 11–50 employees. It has raised $1.5M in total across 2 rounds, most recently a $750K Grant round in Aug 2021.
Tech & App Stack
8 technologies & apps tracked
Every product and vendor across these categories, with where each signal came from.
Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.
Funding History
Aug 2021
Sign up to see all 2 events
Funding: Grant. Amounts, valuations, and investors where available.
Similar Companies

Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...
Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...
AI software engineering company building Devin, an autonomous AI coding agent capable of planning...
Cursor is the best way to code with AI, and built to make you extraordinarily productive.
Your company? Embed this profile
Add the live badge to your site — it stays current as your funding data updates.
<a href="https://indexed.vc/companies/runtime-verification-inc"><img src="https://indexed.vc/api/badge/company/runtime-verification-inc" alt="Runtime Verification, Inc. on Indexed.vc" width="260" height="76" /></a>
