ABZ 2014 – From june 2d to 6th in Toulouse

21 July 2020

ABZ conference confronts the best experts in the field of formal methods with proof from universites and the industry.

The stakes? Designing hardware and software systems safe and bug free.

It will be held from June 2th to 6th, 2014, in Toulouse.

CLEARSY will be present to show you a preview of 4.2 Beta version of AtelierB, a tool supporting the formal method with proof, the method B.