Thierry Lecomte

International conference SBMF 2017

International conference SBMF 2017

CLEARSY will participate to the international conference SBMF 2017 (http://sbmf2017.cin.ufpe.br/) on formal methods that will take place on November...

International conference SBMF 2017

Atelier B 4.2.1 Free

Atelier B 4.2.1 Free is available for download. It corrects the errors related to the introduction of the new tool bxml and the lack of default values for the...

ABZ 2014

ABZ 2014

ABZ 2014 conference was held from June 2d to 6th  in Toulouse. It was attended by about 120 people and allowed B, Z, ASM, Alloy and VDM communities  to meet...

International conference SBMF 2017

Atelier B 4.1.1

Atelier B 4.1.1 is available for download for Atelier B 4 maintenance contract holders. This release brings 59 bug corrections and 7 improvements. Most...