CLEARSY specialists will participate in this conference, which we have been particularly keen on since the first one in Nantes that we co-organized.
This year it takes place in Nancy and it is organised by Loria.
The ABZ conferences mark the history of the formal B method and the Atelier B tools for software B and system B (event-B).
This time we will make a tutorial of a development with the B method using the SIL4 certified safety calculator of CLEARSY.
The full programme is at this link https://easychair.org/smart-program/ABZ2023/
See also: https://abz2023.loria.fr/
More details on the event at https://github.com/CLEARSY/tutorial-ABZ-2023