NEWS

Formal methods for cyber-physical systems – Shonan

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

Formal methods for cyber-physical systems – Shonan

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