Fundraising Fox
Runtime Verification
Urbana, US · Founded 2010 · Delaware corporation · 30 employees on LinkedIn · 4 known investors
Find your way into Runtime Verification
Sign up to see every warm intro you have to Runtime Verification
- Paths you didn't know you had: your email and LinkedIn already hold routes to the Runtime Verification team. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
Runtime Verification provides high-assurance cybersecurity consulting based on formal methods for teams building software that cannot fail. It also develops verification tools for smart contract and Web3 development, including formal verification for Foundry, Solidity, and Soroban contracts, along with fuzzing, symbolic execution, and debugging tools.
Founders & leadership
Board
Investors · 4
How we know: Borderless Venture's portfolio page · Not right? Tell us
How we know: Fenbushi Capital's portfolio page · Not right? Tell us
How we know: IOSG Ventures's portfolio page · funding news · Not right? Tell us
How we know: the VCSheet dataset · Not right? Tell us
Reported raises · per SEC filings
Form D private placements$5.3M disclosed across 1 round · 2021
▶$5.3MraisedJun 2021 · 9 investors · Other TechnologyRule 506(b)
- Grigore RosuExecutive Officer, Director
- Patrick MacKayDirector
- Offering amount
- $5.3M
- Amount sold
- $5.3M
- First sale
- Jun 2021
- Incorporated
- Corporation, Delaware
- Federal exemptions
- 06b
Source: SEC EDGAR Form D. Amounts as filed; amended filings shown once at their latest values.
Related companies · 4
Companies working in the same space as Runtime Verification.
Non-dilutive funding · 7 SBIR/STTR awards
Federal grants — no equity taken| Agency | Phase | Year | Amount |
|---|---|---|---|
| NASA | Phase II | 2021 | $749.8K |
| NASA | Phase I | 2020 | $124.9K |
| National Science Foundation | Phase II | 2017 | $750K |
| National Science Foundation | Phase I | 2015 | $150K |
| NASA | Phase II | 2014 | $875K |
| NASA | Phase I | 2013 | $124.4K |
| NASA | Phase I | 2010 | $97K |
Source: SBIR.gov award data (U.S. Small Business Administration). SBIR/STTR awards are competitive federal R&D grants and contracts — non-dilutive capital alongside any venture rounds above.
In the news
Frequently asked questions
- What does Runtime Verification do?
- Runtime Verification provides high-assurance cybersecurity consulting based on formal methods for teams building software that cannot fail. It also develops verification tools for smart contract and Web3 development, including formal verification for Foundry, Solidity, and Soroban contracts, along with fuzzing, symbolic execution, and debugging tools.
- Who are Runtime Verification's investors?
- Runtime Verification's investors include Borderless Venture, Fenbushi Capital, IOSG Ventures, Maven 11.
- How much funding has Runtime Verification raised?
- Runtime Verification has disclosed $5.3M raised across 1 round.
- Where is Runtime Verification headquartered?
- Runtime Verification is headquartered in Urbana, US.