CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action »

CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action » organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A cette occasion, sont présentées des expériences industrielles et académiques de l’utilisation avancée du model-checking. La journée se termine par une table ronde concernant le ROI sur le model-checking.