Présentation du Projet BART

Le projet BART (B Automatic Refinement Tool) vise à développer un outil de raffinement automatique de machines B.

Cet outil permet de générer automatiquement une implémentation B0 pour une machine ou un raffinement B suffisamment détaillé.

BART fonctionne sur une base de règles de raffinement. Des règles de raffinement supplémentaires peuvent être ajoutées afin de permettre la personnalisation du raffinement de certains composants.

L’outil de raffinement automatique BART est développé dans le cadre du projet RIMEL, et est intégré dans la version 4.0 de l’Atelier B. La documentation associée est accessible depuis www.tools.clearsy.com.

Liens

Conférence ABZ 2010 : Tutorial BART