One example of development in B

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

Project documentation

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.