ABZ 2014 – Toulouse du 2 au 5 juin

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.