NEWS
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...
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...
ProB can be used from Atelier B 4.0
ProB can be used from Atelier B4.0 to prove and animate B model software and events thanks to the extension mecanism which allows for Atelier B to be...
Status Report about Traductions
Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you. Here is a status report on our work: The...