ABZ 2018 – from 5th au 8th June 2018 – Southampton, United Kingdom

21 July 2020

CLEARSY has attended the sixth edition of the ABZ conference, an event dedicated to formal methods, including the B method and Event-B, two technologies where CLEARSY is a main global actor.

ABZ 2018 has been organized by the University of Southampton, with about one hundred worldwide academic and industrial experts attending. In addition to a stand where it presented all its activities, CLEARSY has given a talk to present new functionalities of its Atelier B IDE, and participated to a panel of experts celebrating the 25th year of the Meteor project.

ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software system.