About Runtime Verification
Runtime Verification is a company based in Urbana (United States) founded in 2009.. Runtime Verification has raised $5.3 million across 4 funding rounds from investors including Wave Digital Assets, Tezos Foundation and IOSG Ventures. Runtime Verification offers products and services including Kontrol, Simbolik, and KaaS. Runtime Verification operates in a competitive market with competitors including Linear, BugHerd, Replay, Meticulous and OzCode, among others.
- Headquarter Urbana, United States
-
Sectors
Technology
-
Email
***********
-
Phone
*********
-
Website
*********
-
Social
*********
- Legal Name Runtime Verification, Inc.
-
Annual Revenue
-
Net Profit
-
EBITDA
-
Total Equity Funding
$5.3 M (USD)
in 4 rounds
-
Latest Funding Round
$5.3 M (USD), Series A
Jun 18, 2021
-
Investors
Wave Digital Assets
& 9 more
-
Employee Count
Employee Count
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
Products & Services of Runtime Verification
Runtime Verification offers a comprehensive portfolio of products and services, including Kontrol, Simbolik, and KaaS. The company's diverse product and service offerings are designed to meet the evolving needs of its customers, address market demands, and provide comprehensive solutions that drive value creation and customer satisfaction across various segments and use cases.
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.
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 Total Funding
- Total Rounds 4
- Last Round Series A — $5.3M
-
First Round
First Round
(15 Mar 2015)
- Investors Count 10
| Date | Amount | Transaction Name | Valuation | Lead Investors | Investors |
|---|---|---|---|---|---|
| Jun, 2021 | Amount | Series A - Runtime Verification | Valuation | IOSG Ventures | |
| Mar, 2017 | Amount | Grant - Runtime Verification | Valuation |
investors |
|
| Jul, 2015 | Amount | Grant - Runtime Verification | Valuation |
investors |
| Date | Amount | Transaction Name | Valuation | Lead Investors | Investors |
|---|---|---|---|---|---|
| Jul, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
|
| Feb, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
|
| Jan, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
|
| Feb, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
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. This diverse investor base provides strategic capital, industry expertise, and valuable network connections that support the company's growth initiatives, market expansion, and long-term value creation.
| Investor | Description | Founded Year | Domain | Location |
|---|---|---|---|---|
|
Investments are made in early-stage tech startups by IOSG Ventures.
|
Founded Year | Domain | Location | |
|
Hypersphere Capital is focused on crypto-native investment opportunities.
|
Founded Year | Domain | Location | |
|
cFund is operated as an early-stage blockchain venture fund.
|
Founded Year | Domain | Location |
| Investor | Description | Founded Year | Domain | Location |
|---|---|---|---|---|
|
Single family office of Amitabh Bachchan, founder of Amitabh Bachchan Corporation or AB CORP
|
Founded Year | Domain | Location | |
|
Startup ecosystems are ignited through strategic investments by Signite Partners.
|
Founded Year | Domain | Location | |
|
Venture capital is directed toward companies in multiple sectors.
|
Founded Year | Domain | Location | |
|
Venture capital is invested in cybersecurity, fintech, and AI startups.
|
Founded Year | Domain | Location |
Investments & Acquisitions by Runtime Verification
| Company Name | Description | Domain | Location | Founded Year | Amount |
|---|---|---|---|---|---|
|
Bionic investment advisor platform
|
2016 | ||||
|
Fine Asian gourmet food is offered by an internet-first restaurant.
|
2016 | ||||
|
Physical e-commerce kiosks are deployed for rural purchases in Indonesia.
|
2014 | ||||
|
Fine Asian gourmet food is offered by an internet-first restaurant.
|
2016 |
Financial Statements - Runtime Verification
| Date | Amount | Transaction Name | Valuation | Lead Investors | Investors |
|---|---|---|---|---|---|
| Jul, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
|
| Feb, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
|
| Jan, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
|
| Feb, 2021 | Amount | Post-IPO - Grab | Valuation |
investors |
Runtime Verification Comparisons
Competitors of Runtime Verification
Runtime Verification operates in a dynamic and competitive business environment, facing competition from various established players and emerging companies in the market. The competitive landscape includes prominent companies such as Linear, BugHerd, Replay, Meticulous and OzCode, among others. This competitive environment drives innovation, market differentiation, and strategic positioning as companies strive to capture market share and deliver value to their customers. Understanding the competitive dynamics is crucial for assessing market positioning, identifying growth opportunities, and navigating the challenges inherent in a competitive marketplace.
| Company Name | Domain | Founded year | HQ Location | Description |
|---|---|---|---|---|
| domain | founded_year | HQ Location |
Bug tracking and project streamlining for software development are enabled.
|
|
| domain | founded_year | HQ Location |
Bug tracking and user feedback platform for websites is offered.
|
|
| domain | founded_year | HQ Location |
Screen recording, collaboration, and debugging tools for developers are offered.
|
|
| domain | founded_year | HQ Location |
Provider of bug tracking tools
|
|
| domain | founded_year | HQ Location |
A debugging extension for Visual Studio is provided by OzCode.
|
| Company Name | Domain | Founded year | HQ Location | Description |
|---|---|---|---|---|
| domain | founded_year | HQ Location |
Multiple services are booked via an app-based platform.
|
|
| domain | founded_year | HQ Location |
On-demand services are booked through an app-based platform.
|
|
| domain | founded_year | HQ Location |
App based platform offering on demand delivery and ride-hailing services
|
|
| domain | founded_year | HQ Location |
Operates an on-demand hyperlocal delivery app for food and groceries.
|
Latest news on Runtime Verification
Frequently Asked Questions about Runtime Verification
When was Runtime Verification founded?
Runtime Verification was founded in 2009 and raised its 1st funding round 6 years after it was founded.
Where is Runtime Verification located?
Runtime Verification is headquartered in Urbana, United States. It is registered at Urbana, Illinois, United States.
Who is the current CEO of Runtime Verification?
Grigore Rosu is the current CEO of Runtime Verification.
Is Runtime Verification a funded company?
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 $180K, raised on Mar 15, 2015.
What does Runtime Verification do?
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.
Who are the top competitors of Runtime Verification?
What products or services does Runtime Verification offer?
Runtime Verification offers Kontrol, Simbolik, and KaaS.
Who are Runtime Verification's investors?
Runtime Verification has 10 investors. Key investors include Wave Digital Assets, Tezos Foundation, IOSG Ventures, Hypersphere Capital, and cFund.
Book a demo & talk to our team
Share a few details and we’ll reach out to schedule a session.