This example is issued from the software realised by Fernando MEJIA (GEC ALSTHOM Transport), Ranan FRAER (now with INRIA) and Denis SABATIER (STERIA). It has been put forward at the CEA, EDF, INRIA summer school in 1995.
The example was then reused by Cecile DUMAS (2nd ENSIMAG) and Corinne TOGNETTY (STERIA) so as to produce a complete example of B development with the Atelier B.
Development cycle of the software
Visualisation of the B sources
Contents of the downloadable package
Information on the methodology
Appuyer ici pour la version francaise.
