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.3m | ||
Related Content
Recent News about Runtime verification
EditTech stack
Tech stackLearn more about the technologies and tools that this company uses.
