9ᵉ ABZ International Formal Methods Conference in Nancy from May 31 to June 2, 2023

24 May 2023

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