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. It is registered at na.

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 Dec 31, 2019, the latest employee count at Runtime Verification is 1.

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.

Where does Runtime Verification rank among its competitors?

Runtime Verification ranks 2nd amongst 71 active competitors, of which 9 are funded. It stands 3rd in terms of total funding among its competitors. The most recent competitor to raise funding was Linear, which secured $82M in Jun, 2025.

Who are the top competitors of Runtime Verification?

Runtime Verification's top competitors include Linear, Undo and HTTP Toolkit. Among them, Linear secured the most recent funding round in June, 2025.

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 71 active competitors, including 9 funded and 2 that have exited. Its top competitors include companies like Linear, Undo and HTTP Toolkit.

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
Registered Address: na

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

2^nd among 71 active competitors

Employee Count

1 as on Dec 31, 2019

Similar Companies

Linear & 112 more

View Runtime Verification's full profile

Runtime Verification is associated with 1 legal entity given below:

Legal Entity Name	Date of Incorporation	Revenue	Latest Employee Count	Documents
RUNTIME VERIFICATION, INC. CIN: T21UF4577F , Singapore, Active	May 24, 2021	-	-

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	1134889	Series A	1736001	1433680	4068176	1754394
Mar 15, 2017	6827561	Grant (prize money)	5896038	2695555	4289883	National Science Foundation
Jul 01, 2015	7278736	Grant (prize money)	6882944	8287822	9989524	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 1 employees as of Dec 19. 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, Undo and HTTP Toolkit. 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 & 54 others	64/100
2nd	Runtime Verification 2009, Urbana (United States), Series A	Tool for bug tracking and management	$5.3M	Borderlesscapital, Tezos Foundation & 8 others	40/100
3rd	Undo 2005, Cambridge (United Kingdom), Series B	Recording and Debugging tools for C/C++ tools on Linux and Android	$25.7M	Cambridge Innovation Capital, Cambridge Angels ... & 32 others	51/100
4th	HTTP Toolkit 2018, Barcelona (Spain), Unfunded	Software testing and debugging tools	-	-	46/100
5th	Meticulous 2021, London (United Kingdom), Seed	Provider of bug tracking tools	$4.12M	Y Combinator, Coatue & 9 others	45/100
6th	launchpad_net 2008, Long Island City (United States), Unfunded	Provider of a software collaboration platform offering bug tracking and hosting	-	-	42/100
7th	RevDeBug 2013, Bydgoszcz (Poland), Funding Raised	Debugging software	-	Level2, INNOventure & 2 others	38/100
8th	ASSET InterTech 1995, Richardson (United States), Acquired	Platform for software debug and trace	-	-	38/100
9th	EarlyAI 2023, Herzliya (Israel), Seed	Developer of an AI-powered platform for automated software testing solutions	$5M	Zeev Ventures, Dynamic Loop Capital	37/100
10th	ErrLog.IO 2017, Melbourne (Australia), Unfunded	Hosted error logging and reporting platform	-	-	30/100