Brama - Outil de modélisation graphique appliqué aux méthodes formelles B

Brama est un outil d'animation graphique de modèle formel B. Il représente les modèles, vérifie qu'ils représentent ce que vous