Publié le 13/06/2016 |

At the occasion of the ABZ 2016 conference (  which took place in Linz (Austria) on May 23-27 2016, CLEARSY was invited to present the last 20 years of development and industrial use of Atelier B, and to expose forthcoming innovations including functional modelling (Abstract Model Editor), improved automatic proof and low-cost high-integrity platform (LCHIP).
The slides are available at: