Runtime verification
We apply formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Financials
Estimates*
USD | 2021 | 2022 | 2023 |
---|---|---|---|
Revenues | 2.8m | 3.9m | 6.5m |
% growth | - | 39 % | 67 % |
Date | Investors | Amount | Round |
---|---|---|---|
- | N/A | - | |
* | $180k | Grant | |
* | $1.4m | Grant | |
$5.3m | Series A | ||
Total Funding | $6.9m |
Related Content
Recent News about Runtime verification
EditTech stack
Tech stackLearn more about the technologies and tools that this company uses.