Le centre d’expertise « Modélisation formelle et preuve » de Systerel constitue l’une des plus importantes équipes européennes sur le sujet et dispose d’une expérience de plus de 15 ans dans la mise en œuvre industrielle des techniques formelles.

Utilisation des méthodes formelles

Pourquoi utiliser les méthodes formelles ?
Quelles techniques pour quelle problématique ?

Méthode B

Systerel est l’un des leaders dans l’utilisation de la méthode B pour le développement de logiciels critiques dans un cadre industriel.

SCADE

Systerel intervient sur des activités de conseil et d’expertise autour de la mise en œuvre de SCADE et de son couplage à d’autres technologies.

Systerel Smart Solver

Vérification formelle de systèmes ou logiciels développés en SCADE, C ou Ada

Plate-forme RODIN

Systerel est le leader technique de la plate-forme RODIN en assurant sa maintenance et ses évolutions.

Outils de Vérification & Validation

Systerel a développé des solutions exploitant les méthodes formelles pour gagner en qualité et en productivité sur des activités de vérification et validation.