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 Scientifiques de l’Université de Nantes”.

This workshop was attended by thirty people, coming from France, Germany, Switzerland and Hungary. Various studies on B, Event-B and associated tools have been presented during this event, including devlopment status and new features of Atelier B 4.0 and a retrospective on the exploitation and dissemination of B over the last 15 years.