NEWS
Data Validation / Generation
Data validation and generation are of paramount importance in the railways, in order to ensure safety at the system level. Several studies/works have been...
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...
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...