NEWS
Atelier B 4.0.1 is available for maintenance holders
We are pleased to inform you that Atelier B 4.0.1 is available for download. It is exclusively reserved for maintenance holders, and is accessible via their...
CLEARSY is organizing the “B Dissemination Day” workshop in Tokyo
On behalf of the DEPLOY project, CLEARSY is organizing the "B Dissemination Day" workshop, at the occasion of the "GRACE International Symposium on...
CLEARSY participated to the FMICS 2009
CLEARSY participated to the 14th edition of the FMICS 2009, that held take place at the University of Eindhoven from the November 2 to 3rd 2009. This event...
Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010
CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 hour courses will focus on introducing...
Smart Event 2009 – Forcoment Project Presentation, developed with Atelier B
Marc Benveniste (STMicroelectronics) presented at the Smart Event 2009, an article entitled "A Proved "Correct by Construction" Memory Protection Unit", in...
Workshop on Recent Innovations and Applications in B
3 Novembre 2009 à Eindhoven Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Weeket...