NEWS
BWare: a new project on proving B proof obligations
BWare, a new research project related to the B method has started in September 2012. It is funded for a period of 4 years by the...
Workshop on Software Reliability – June 14 & 15 2012
Software Reliability workshop, held on June 14 & 15 2012 in Paris and organized by the "Initiative de Recherche et Innovation sur le Logiciel Libre" and...
Atelier B 4.0.2 is available for maintenance holders
Atelier B 4.0.2 has been released on January 7, 2011 and may be downloaded by Atelier B 4 maintenance contract holders on this page : Atelier B Account. This...
From Research to Teaching Formal Methods: the B Method
June 7th 2010, Nantes, France Presentation The workshop "From Research to Teaching Formal Methods: the B Method" was held in Nantes June 7, 2010, at "Journées...
Bibliography: Jean-Raymond Abrial publishes a book dedicated to Event-B
Jean-Raymond Abrial’s Event-B book has been published in may 2010. This 600+ page book, written in english, is entitled “Modeling in Event-B: System and...
Nantes 2010 Conference : “From Research to Teaching Formal Methods – the B Method”
The University of Nantes is organizing the 3rd edition of the conference dedicated to B method. It will be held June 7, 2010, at the Cité Internationale des...