NEWS
b2llvm: B developments onto the LLVM
David Deharbe - Universidade Federal do Rio Grande do Norte, Natal, Brazil Abstract: In this talk we describe a multi-platform code generator for the B...
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...
Formal Data Validation Tutorial at ABZ 2014, Toulouse
At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The...
Presentation to M2 STL students
On March 14th, 2014, we shall present to M2 STL students – Pierre & Marie Curie University in Paris, various industrial cases of the use of the formal B...
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...
Newcastle University Technical Seminar
CLEARSY is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide to improve safety in...