Contact

BART project

BART project

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.

Links

ABZ 2010: BART Tutorial

Copy link
Powered by Social Snap