brama.fr

Brama est une application de modélisation graphique appliqué aux méthodes formelles B. Elle permet de représenter au travers d'une animation la simulatio d'un modèle développé à l'aide de méthodes formelles.
Distribué par la société ClearSy System Engineering, Brama propose à l'internaute de télécharger l'outil et de le découvrir au travers de nombreuses démos.

En résumé, voici comment définir ce site : modélisation graphique, méthodes formelles, méthode b, clearsy sytem engineering et simulation de modèle

Visiter le site