BART Project

Présentation

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

This tool will allow for a B0 implementation for a machine or a sufficiently detailed B refinement to be automatically generated. 

BART operates on the basis of refinement rules. Additional refinement rules may be added in order to allow for the customization of the refinement of some components.

The BART automatic refinement tool has been developed in the context of the RIMEL project and will be integrated into the next version of Atelier B.  Specifications are currently being finalized…