10 avril 2014
La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et industriels.
Les enjeux ? Concevoir des systèmes matériels et logiciels sûr et sans bug.
Elle se déroulera du 2 au 6 juin 2014 à Toulouse.
CLEARSY sera présent pour vous présenter en avant-première la version 4.2 Beta de l’atelier B, outil supportant la méthode formelle avec preuve, la méthode B.