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
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

Data from Indexed.vcUpdated
GrantSBIR Phase II (NASA)Aug 2021
$750K

Sign up to see all 2 events

Funding: Grant. Amounts, valuations, and investors where available.

Similar Companies

Mistral AI

Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...

Paris, France501–1000Artificial Intelligence, Generative AI
Series DTotal funding$7.0BSep 2026
Zhipu AIIPO

Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...

Beijing, China501–1000Artificial Intelligence, Developer Tools
Venture RoundTotal funding$5.5BJul 2026
Cognition

AI software engineering company building Devin, an autonomous AI coding agent capable of planning...

San Francisco, United States51–200Artificial Intelligence, Developer Tools
Series ETotal funding$4.1BSep 2026
CursorAcquired

Cursor is the best way to code with AI, and built to make you extraordinarily productive.

San Francisco, United States51–200Artificial Intelligence, Developer Tools
Series DTotal funding$3.4BNov 2025
PalantirIPO

Palantir Technologies builds data integration and analytics platforms (Gotham and Foundry) for go...

Denver, United States1001–5000Analytics, Artificial Intelligence
Private EquityTotal funding$3.1BJul 2020
Cyera

Cyera provides an AI-powered data security platform that helps security teams discover, control, ...

New York, United States201–500Artificial Intelligence, Cybersecurity
Extension RoundTotal funding$2.8BSep 2026

Your company? Embed this profile

Add the live badge to your site — it stays current as your funding data updates.

Runtime Verification, Inc. on Indexed.vc
<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>