NEWS

Formal methods for cyber-physical systems – Shonan
CLEARSY will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south of Tokyo), from...

Formal methods in action in the railways
Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real for successfully completing safety demonstrations....

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...

Next training session B, level 2
The next training B will be a level 2 session and will take place from 24 to 27 July 2017 in Paris. Remember to sign up!

The new version 4.4.2 of the AtelierB
The new version 4.4.2 of the AtelierB toolset for the B method has been released. This comes with numerous bug fixes and several feature improvement that will...

CLEARSY organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).
The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems:
“Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa