International conference SBMF 2017

ClearSy will participate to the international conference SBMF 2017 ( on formal methods that will take place on November 27-December 1 2017 in Recife (Brazil).
At this occasion, ClearSy will present a scientific article entitled “Applying a Formal Method in Industry: a 25-Year Trajectory”.
Moreover, a dedicated training session will be organized during ETMF 2017 (Escola de Informática Teórica e Métodos Formais) to teach students how to model with the B method, how to use the abstract model editor and how to develop safety-critical applications with the LCHIP platform.

SBMF 2017