Runtime verification
We apply formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Get premium to view all results
| Date | Investors | Amount | Round |
|---|---|---|---|
| - | investor investor | €0.0 | round |
| investor | €0.0 | round | |
| investor | €0.0 | round | |
$5.3m | Series A | ||
| Total Funding | 000k | ||
| USD | 2021 | 2022 | 2023 |
|---|---|---|---|
| Revenues | 0000 | 0000 | 0000 |
| % growth | - | 39 % | 67 % |
| EBITDA | 0000 | 0000 | 0000 |
| Profit | 0000 | 0000 | 0000 |
| EV | 0000 | 0000 | 0000 |
| EV / revenue | 00.0x | 00.0x | 00.0x |
| EV / EBITDA | 00.0x | 00.0x | 00.0x |
| R&D budget | 0000 | 0000 | 0000 |
Source: Dealroom estimates
Related Content
Analytics
Unlock the full power of analytics with a premium account
Track company size and historic growth
Track team composition and strength
Track website visits and app downloads
Tech stack
Tech stackLearn more about the technologies and tools that this company uses.
