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
Dowloading the project
Contents of the downloadable package
The DAB in a few digits
How to contact us ?
Information on the methodology
Appuyer ici pour la version francaise.