Systerel a participé au workshop commun FMICS et AVoCS du 26 au 28 septembre à Pise.
FMICS : Formal Methods for Industrial Critical Systems
AVoCS : Automated Verification of Critical Systems
Systerel a présenté une approche de vérification formelle d’un système critique embarqué développée dans le cadre de ses travaux avec l’IRT Saint-Exupéry.
Cette vérification formelle s’appuie sur la solution Systerel Smart Solver.
L’un des principaux objectifs de ce workshop est de promouvoir les activités de R&D destinées à améliorer l’application des méthodes et outils formels pour la vérification des systèmes critiques dans le domaine industriel.
En savoir plus Télécharger la publication