When was Runtime Verification founded?

Runtime Verification was founded in 2009 and raised its 1st funding round 6 years after it was founded.

Where is Runtime Verification located?

Runtime Verification is headquartered in Urbana, United States.

Who is the current CEO of Runtime Verification?

Grigore Rosu of Runtime Verification. They are also an angel investors in 1 startup.

How many employees does Runtime Verification have?

As of Sep 30, 2026, the latest employee count at Runtime Verification is 30.

Is Runtime Verification a funded company?

Runtime Verification is a funded company, having raised a total of $5.3M across 4 funding rounds to date. The company's 1st funding round was a $***** Grant (prize money) round, raised on Mar 15, 2015.

When was the latest funding round of Runtime Verification?

Runtime Verification's latest funding was a $***** Series A round on Jun 18, 2021, with participation from 8 investors. Its primary sector is Software Testing Tools. In United States, the Software Testing Tools sector has seen $70.9M in funding in 2026 to date.

Where does Runtime Verification rank among its competitors?

Runtime Verification ranks 4th amongst 79 active competitors, of which 8 are funded. It stands 4th in terms of total funding among its competitors. The most recent competitor to raise funding was Meticulous, which secured $15M in Jul, 2026.

Who are the top competitors of Runtime Verification?

Runtime Verification's top competitors include Linear, BugHerd and Meticulous. Among them, Meticulous secured the most recent funding round in July, 2026.

Runtime Verification - 2026 Company Profile, Team, Funding & Competitors

Runtime Verification is a series A company based in Urbana (United States), founded in 2009. It operates as a Tool for bug tracking and management. Runtime Verification has raised $5.3M in funding from IOSG Ventures. The company has 79 active competitors, including 8 funded and 3 that have exited. Its top competitors include companies like Linear, BugHerd and Meticulous.

Company Details

Runtime Verification provides software for runtime verification solution. The products offered by the company are K, Firefly, RV-Match, RV-Predict, and RV-Monitor. K is a framework for defining formal syntax & semantics of programming languages. It also provides a solution for the execution and analysis of programming language. RV-Match is a semantic-based bug-finding tool which provides a solution for automatic debugging.

Website: runtimeverification.com
Social
Email ID: *****@runtimeverification.com

Key Metrics

Founded Year

2009

Location

Urbana, United States

Stage

Series A

Total Funding

$5.3M in 4 rounds

Latest Funding Round

Series A, Jun 18, 2021, $*****

Investors

IOSG Ventures & 9 more

Ranked

4^th among 79 active competitors

Employee Count

30 as on Sep 30, 2026

Similar Companies

Linear & 104 more

View Runtime Verification's full profile

Runtime Verification has raised a total funding of $5.3M over 4 rounds. Its first funding round was on Mar 15, 2015. Its latest funding round was a Series A round on Jun 18, 2021 for $*****. 8 investors participated in its latest round. Runtime Verification has 10 institutional investors.

Here is the list of recent funding rounds of Runtime Verification:

Filter this list

Date of Funding	Funding Amount	Round Name	Post-Money Valuation	Revenue Multiple	Lead Investors	Other Investors
Jun 18, 2021	4165958	Series A	9954993	6756808	6104179	1693637
Mar 15, 2017	9598316	Grant (prize money)	5381063	8765540	2449556	National Science Foundation
Jul 01, 2015	5636526	Grant (prize money)	7377339	9801943	5061529	National Science Foundation

Access funding benchmarks and valuations. Sign up today!

View details of Runtime Verification's funding rounds and investors

Runtime Verification's employee count trend

Runtime Verification has 30 employees as of Sep 26. Here is Runtime Verification's employee count trend over the years:

Employee count trend for Runtime Verification

Uncover Runtime Verification's growth story! Sign up today!

Access Tracxn on any website

Our Google Chrome extension lets you view company details while browsing their websites

Install Tracxn Extension

Top competitors of Runtime Verification include Linear, BugHerd and Meticulous. Here is the list of Top 10 competitors of Runtime Verification, ranked by Tracxn score:

Rank	Company Details	Short Description	Total Funding	Investors	Tracxn Score
1st	Linear 2019, San Francisco (United States), Series C	Provider of a system to streamline issues, projects, and product roadmaps	$134M	Accel, Sequoia Capital & 55 others	66/100
2nd	BugHerd 2011, Yarraville (Australia), Series A	Provider of website feedback and bug tracking software for teams	$1.52M	Tank Stream Ventures, Starfish Ventures & 3 others	61/100
3rd	Meticulous 2021, London (United Kingdom), Series A	Provider of bug tracking tools	$19.1M	Y Combinator, Coatue & 17 others	57/100
4th	Runtime Verification 2009, Urbana (United States), Series A	Tool for bug tracking and management	$5.3M	Fenbushi Capital, Wave Financial & 8 others	43/100
5th	HTTP Toolkit 2018, Barcelona (Spain), Unfunded	Software testing and debugging tools	-	-	43/100
6th	Replay 2020, San Francisco (United States), Seed	Provider of screen recording, collaborating, and debugging tools for developers	$5.7M	Andreessen Horowitz, Version One Ventures ... & 3 others	42/100
7th	EarlyAI 2023, Herzliya (Israel), Seed	Developer of an AI-powered platform for automated software testing solutions	$5M	Zeev Ventures, Dynamic Loop Capital	39/100
8th	OzCode 2012, Herzliya Pituach (Israel), Acquired	Debugging extension for Visual Studio	$3.5M	Rafael Development Corporation, TPY Capital ... & 1 others	35/100
9th	ErrLog.IO 2017, Melbourne (Australia), Unfunded	Hosted error logging and reporting platform	-	-	30/100
10th	Bugs Manager 2003, Ocala (United States), Unfunded	Ecommerce solution providing customizable shopping cart software for online stores	-	-	30/100