Projet BART

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 permettra 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 sera intégré dans la prochaine version de l'Atelier B. La spécification est actuellement en cours de finalisation...