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.