La start-up Certess s’est fixé une stratégie peu banale : développer des logiciels capables de contrôler les outils de vérification, avec comme objectifs une meilleure maîtrise des ressources et une réduction des risques.

« Quand est-ce que la vérification d’une conception est finie ? » et « avez-vous l’environnement et les méthodologies pour trouver les erreurs ? »Ces questions peuvent paraître

…