Runtime Verification
Urbana, US · Founded 2010 · Delaware corporation · 30 employees on LinkedIn · 4 known investors
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
PM
Patrick MacKayNamed on SEC filing
Board
GR
Investors · 4
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)
▶$5.3MraisedJun 2021 · 9 investors · Other Technology
Rule 506(b)Officers, directors & promoters on the filing
- 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.
Competitors · 5
by search overlap
Netezza10 shared keywordsIBM is a global technology company whose business spans enterprise software (including Red Hat, HashiCorp, and Confluent), IT infrastructure such as mainframes, servers, and storage, and IT consulting services. The company is also investing heavily in quantum computing and AI-based enterprise offerings, including its Lightwell open-source software security clearinghouse and the Anderon quantum wafer foundry.
Alchemy5 shared keywordsAlchemy is a platform layer that enables developers to build applications on blockchain networks. The company provides infrastructure and APIs to simplify blockchain development for a global audience.
The Ethereum Foundation5 shared keywordsethereum.org is a public, open-source educational resource and community portal for the Ethereum blockchain network, maintained by a core team and thousands of global contributors. The site serves as an onboarding portal and knowledge hub for developers, users, and those new to Ethereum and cryptocurrency.
Dune4 shared keywordsDune provides normalized blockchain datasets covering 130+ chains, including stablecoin, prediction market, tokenized real-world asset, and token balance data, delivered into customers' existing data warehouses such as Snowflake, Databricks, or BigQuery. It serves traders, analysts, and enterprises that use onchain data for trading signals, product strategy, and reporting.
Blocknative4 shared keywordsBlocknative builds blockchain data infrastructure, including Gas Network and tools for transaction efficiency, mempool visibility, transaction orchestration, block building, and MEV auctions, serving protocol teams, wallet builders, and institutions. The company has since joined Deloitte and is winding down its API services and Gas Network by June 2026.
Companies competing with Runtime Verification for the same Google search keywords, organic and paid, via search-intersection analysis.
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.