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.