Three kinds of projects

Atelier B 4.1 supports three different kinds of projects:

  • software project: using B language, aimed at producing C or Ada code.
  • system level project: using Event-B language, aimed at producing evidences that a system level specification is sound and at preparing software development.
  • data validation project: using B or Event B language, aimed at verifiying that constants can be valued. This applies for large set of constants and related properties.

The figure below draws a picture of the possible connections between these projects.

Ce contenu a été publié dans Applications. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire