EIC Transition: Spectrum

Cryspen has won an EIC grant to build a new software verification product.

We are excited to have been awarded a Transition Grant from the European Innovation Council to build a specification and verification toolkit that developers can use to build and deploy …