Atelier B 4.1.0 has been released for everyone and without any restrictions of use. This new release brings 385 bug corrections and 56 improvements (see...
Thierry Lecomte
Atelier B 4.1 Beta 1
Atelier B 4.1 Beta 1 phase starts on November 2nd 2012 for a month. This release integrates 4.0.2 improvements and comes along with a number of new...
B Dissemination Day – Satellite event of Grace International Symposium on Advanced Software Engineering 2010
Mars 15th-17th 2010, Tokyo, Japan Presentation The aim of this workshop is to illustrate B/event-B formal modeling as a technique for specifying, designing,...
Atelier B 3.7.1
Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with...
Rodin Industry Day
We have the pleasure of informing you that CLEARSY are organising the Rodin Industry Day 2007. The event will take place in Paris on the 10th September 2007....