Piattaforma SpecForge per la specifica e verifica formale di sistemi mission-critical come guida autonoma e robotica.
| Date | Round | Amount |
|---|---|---|
| Jun 2026 | Bridge Imiron raised 140 million yen in a pre-Series A round led by DG Daiwa Ventures for the SpecForge formal verification platform. | $910K |