BART project presentation
The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.
This tool 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 has been integrated into Atelier B 4.0. The BART documentation is available into www.tools.clearsy.com.
ABZ 2010: BART Tutorial