Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.
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.
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 |
Investor Name | Lead Investor | Funding Round |
---|---|---|
National Science Foundation | Yes | Grant |
Tezos Foundation | — | Series A |