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.