About Runtime Verification
Runtime Verification is a Technology company based in Urbana (United States) founded in 2009. Tool for bug tracking and management. Runtime Verification has raised $5.3 million across 4 funding rounds from investors including Wave Digital Assets, Tezos Foundation and IOSG Ventures. Its chief executive, as recorded, is Grigore Rosu. Runtime Verification offers products and services including Kontrol, Simbolik, and KaaS. Its focus areas include Enterprise Infrastructure, Software Testing Tools, Test Management and Bug Tracking. Its legal entity is RUNTIME VERIFICATION, INC. Its competitors include Linear, Replay and ASSET InterTech; 2 of its 3 listed competitors have raised funding.
Company details
Runtime Verification provides software for runtime verification solution. The products offered by the company are K, Firefly, RV-Match, RV-Predict, and RV-Monitor. K is a framework for defining formal syntax semantics of programming languages. It also provides a solution for the execution and analysis of programming language. RV-Match is a semantic-based bug-finding tool which provides a solution for automatic debugging.
- Headquarters Urbana, United States
- SectorsTechnology
- Email••••••••
- Website runtimeverification.com
- Social LinkedIn X Facebook YouTube
- Legal Name Runtime Verification, Inc.
- Total Equity Funding$5.3M (USD)
in 4 rounds
- Latest Funding Round$5.3M (USD), Series A
Jun 2021
- InvestorsWave Digital Assets
& 9 more
Products & Services of Runtime Verification
Runtime Verification offers a comprehensive portfolio of products and services, including Kontrol, Simbolik, and KaaS.
Enables symbolic execution of foundry tests for blockchain development.
Advanced Solidity debugger for identifying smart contract issues.
Provides fuzzing and formal verification as a cloud-based service.
Apps and channels of Runtime Verification
its YouTube channel Runtime Verification has 300 subscribers and 19 videos.
Videos from Runtime Verification
The most watched videos on Runtime Verification's YouTube channel, Runtime Verification (300 subscribers). Click a video to play it here.
More on Runtime Verification.
Funding Insights of Runtime Verification
Runtime Verification has successfully raised a total of $5.3M across 4 strategic funding rounds. The most recent funding activity was a Series A round of $5.3 million completed in June 2021. This substantial capital infusion reflects strong investor confidence in the company's business model, growth potential, and market opportunities. The funding enables strategic expansion, product development, market penetration, and operational scaling to drive long-term value creation and competitive advantage.
- Total Funding $5.3M
- Total Rounds 4
- Last Round Series A — $5.3M
- First Round $750,000
(Mar 2015)
- Investors Count 10
All 4 funding rounds of Runtime Verification with amounts and investors; the two latest post-money valuations are shown, the rest are part of the premium plan.
| Date | Amount | Transaction Name | Valuation | Lead Investors | Investors |
|---|---|---|---|---|---|
| Jun 2021 | $5.3M | Series A | – | IOSG Ventures | |
| Mar 2017 | $1.4M | Grant | – | – | |
| Jul 2015 | $179,999 | Grant | – | – | |
| Mar 2015 | $750,000 | Grant | – | – |
10 investors in total: 10 institutional.
Investors in Runtime Verification
Runtime Verification has secured backing from 10 investors, including venture fund and institutional investors. Prominent investors backing the company include Wave Digital Assets, Tezos Foundation and IOSG Ventures.
| Investor | Description | Founded Year | Domain | Location |
|---|---|---|---|---|
Investments are made in early-stage tech startups by IOSG Ventures. | iosg.vc | Hong Kong, China | ||
Hypersphere Capital is focused on crypto-native investment opportunities. | 2020 | hypersphere.ventures | ||
cFund is operated as an early-stage blockchain venture fund. | 2018 | cfund.vc | United States | |
Venture capital funding and acceleration are provided to sector-agnostic startups. | borderlesscapital.io | Miami, United States | ||
Early-stage venture capital firm investing in the US and UK | fenbushi.vc | Shanghai, China | ||
Venture capital is provided to tech startups by Maven 11. | maven11.com | Amsterdam, Netherlands | ||
Venture capital fund backed by the US Government | seedfund.nsf.gov | Alexandria, United States | ||
Decentralized protocol layer empowering the social and economic innovations | 2017 | tezos.foundation | Zug, Switzerland | |
Investments in digital currencies, crypto assets, and blockchain are managed. | 2018 | wavegp.com | Los Angeles, United States | |
A government-backed foundation providing seed-stage investments to support small businesses. | 1950 | nsf.gov | Arlington, United States |
Investor details for Runtime Verification
The complete investor list, round-by-round participation and investor portfolios require an active premium plan.
- Complete investor list
- Round participation
- Investor portfolios
- Co-investor network
Verified entity values are shown only after access is granted.
People of Runtime Verification
1 people are tracked at Runtime Verification (1 in leadership).
| Name | Role | Group |
|---|---|---|
Grigore Rosu | CEO | Leadership |
Complete people profiles for Runtime Verification
Full employee and board profiles, team structure, tenure and professional contact details require an active premium plan.
- Full employee list
- Team structure
- Board tenure
- Professional contacts
Verified entity values are shown only after access is granted.
Timeline of Runtime Verification
3 dated milestones of Runtime Verification across 12 years, from founding to its latest funding, stage changes and deals.
- Founded Runtime Verification is founded.
- Funding First funding round of $750K.
- Funding Latest funding round, Series A, of $5.3M.
Competitors of Runtime Verification
Runtime Verification has 3 listed competitors in our database, 2 of them funded. They include Linear, Replay and ASSET InterTech.
| Company Name | Domain | Founded | HQ Location | Total funding | Employees | Description |
|---|---|---|---|---|---|---|
| linear.app | 2019 | San Francisco, United States | $134.2M | Bug tracking and project streamlining for software development are enabled. | ||
| replay.io | 2020 | San Francisco, United States | $5.7M | Screen recording, collaboration, and debugging tools for developers are offered. | ||
| asset-intertech.com | 1995 | Richardson, United States | 31 | Platform for software debug and trace |
Detailed competitors of Runtime Verification
The full competitor set, operating metrics and side-by-side benchmarks require an active premium plan.
- Full competitor set
- Operating metrics
- Benchmarks
- Competitive positioning
Verified entity values are shown only after access is granted.
Web traffic of Runtime Verification
The website of Runtime Verification (runtimeverification.com) receives about 2.1K visits a month.
- Monthly visits2.1K
▼ 24.9% vs previous month
Top companies in Programming & Software Development Tools
3 companies that operate in the same segment as Runtime Verification (Programming & Software Development Tools) in United States, ranked by their profile score on The Company Check.
| Company | Description | Founded | Location | Total funding | Revenue | Employees |
|---|---|---|---|---|---|---|
Collaborative platform for design prototyping and feedback is provided. | 2012 | San Francisco, California, United States | USD 748.62 M | 2,877 | ||
AI-based platform for secure collaboration and content management is utilized. | 2005 | Redwood City, California, United States | USD 692.63 M | USD 1.18 B | 4,447 | |
Automated usability testing and feedback for mobile experiences is provided. | 2007 | San Francisco, California, United States | USD 148.5 M | USD 21.68 M | 557 |
Unlock complete access to The Company Check
Get unrestricted viewing across everything we track — from companies and brands to investors, funding rounds, acquisitions, financials, and more.
- Unlimited viewing on all profiles Companies, investors, financials, funding, acquisitions & directors
- Full access to every database India & global coverage, advanced filters and rich profile details
- Always-on access from your team account Single premium plan for everything you see on the portal
Related news about Runtime Verification
Complete news archive for Runtime Verification
Full article history, source details, and older brand coverage require an active premium plan.
- Full article archive
- Source and publication date
- Older coverage
- Brand-specific news history
Verified entity values are shown only after access is granted.
Frequently Asked Questions about Runtime Verification
Runtime Verification was founded in 2009 and raised its 1st funding round 6 years after it was founded.
Runtime Verification is headquartered in Urbana, United States. It is registered at Urbana, Illinois, United States.
Grigore Rosu is the CEO of Runtime Verification, as recorded in our data.
Runtime Verification is a funded company, having raised a total of $5.3M across 4 funding rounds to date. The company's 1st funding round was a Grant of $750K, raised on Mar 2015.
Runtime Verification provides software for runtime verification solution. The products offered by the company are K, Firefly, RV-Match, RV-Predict, and RV-Monitor. K is a framework for defining formal syntax semantics of programming languages. It also provides a solution for the execution and analysis of programming language. RV-Match is a semantic-based bug-finding tool which provides a solution for automatic debugging.
Runtime Verification's top competitors include Linear, Replay and ASSET InterTech.
Runtime Verification offers Kontrol, Simbolik, and KaaS.
Runtime Verification has 10 investors. Key investors include Wave Digital Assets, Tezos Foundation, IOSG Ventures, Hypersphere Capital, and cFund.
Runtime Verification operates through Runtime Verification, Inc..