Runtime Vеrification

company

About

Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.

  • 11 - 50

Details

Last Funding Type
Series A
Last Funding Money Raised
$5.29M
Industries
Information Technology,Intrusion Detection,Software
Founded date
Jan 1, 2010
Number Of Employee
11 - 50
Operating Status
Active

Runtime Vеrification is a dynamic software analysis technique to automatically detect bugs and errors in a software system. Founded in 2010, Runtime Vеrification is headquartered in Urbana, Illinois, United States.

Funding Rounds

Number of Funding Rounds
Total Funding Amount
3
$6.87M
Runtime Vеrification has raised a total of $6.87M in funding over 2 rounds. Their latest funding was raised on Jun 30, 2021 from a Series A round.
Announced Date Round Money Raised Number of Investors Lead Investors Post Valuation
Jun 30, 2021 Series A $5.29M 1 Detail
Mar 14, 2017 Grant $1.39M 1 National Science Foundation Detail
Jun 26, 2015 Grant $179.99K 1 National Science Foundation Detail

Investors

Number of Lead Investors
Number of Investors
2
2
Runtime Vеrification is funded by 2 investors. National Science Foundation and Tezos Foundation are the most recent investors.
Investor Name Lead Investor Funding Round
National Science Foundation Yes Grant
Tezos Foundation Series A