NEWCaplight raises a $16M Series A, led by BlackRock and Fin Capital →
Skip to main content
Caplight Logo









Runtime Verification, Inc.

Runtime Verification, Inc.

Private
Urbana, IllinoisCrypto & Web3https://runtimeverification.com/

Last Round

Seed

Jun 18, 2021

Total Funding Raised

$6.88M

Company Overview

Runtime Verification, Inc. is a software security company that provides formal verification and auditing services to enhance the safety, reliability, and correctness of computing systems in the aerospace, automotive, and blockchain industries.

Sector

Crypto & Web3

Verticals

Smart Contracts, Blockchain Infrastructure, Application Security, DeFi

Business Model

B2B

Customer Profile

Services & Consulting, Subscription SaaS

AI Layer

Non-AI

Keywords

formal verificationsmart contract auditblockchain securityK FrameworkKEVMsmart contract securityformal methodsDeFi securitysymbolic executionsoftware correctnesssecurity auditingcrypto securitysmart contract bug bountyweb3 securityprotocol verification

Historical Pricing

Historical view of private secondary pricing and transaction trends.

Unlock Pricing Charts

Sign up to view complete historical pricing and secondary transactions.

Caplight Momentum Score

Proprietary index based on bid/ask volume and sentiment.

View Momentum History

Track how buyer interest and sentiment changes over time.

Runtime Verification, Inc. Comparables

Compare Runtime Verification, Inc. with similar companies based on industry and business-model similarity.

Runtime Verification, Inc. comparables — related companies by embedding similarity
CompanySimilarityMarket Cap

View Full Comparables Set

Access detailed peer comparisons, similarity scores, and market data.

Runtime Verification, Inc. Funding Rounds

Historical fundraising activity

Data table
RoundDateAmount RaisedValuationInvestorsSources
SeedJun 18, 2021
GrantMar 15, 2017
GrantJul 1, 2015

Runtime Verification, Inc. Investors

Notable investors and investment history

Runtime Verification, Inc. Filings

SEC and related filings with document metadata.

Data table
TypedDateAmount OfferedAmount SoldFillingPagesDownload
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation
Sign Up to view
Mock Valuation

Runtime Verification, Inc. Filings

SEC and related filings with document metadata.

Frequently Asked Questions

Common questions about Runtime Verification, Inc.'s valuation, stock price, and market status.

Firmographic Details

HeadquartersUrbana, Illinois
Employee Range34
Year Founded2010
Last FundingJun 18, 2021

Institutional Data Access

Join leading institutional investors using Caplight to access private market data, discover pricing, and execute secondary block trades.

Requires verified institutional or accredited status.