NEWS
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...
Workshop on Recent Innovations and Applications in B
The "Recent Innovations and Applications in B" (RIAB) workshop will be held at Eindhoven on 3 November 2009 as part of the Formal Methods week. For more...