Port & development of Brama model animator to Atelier B

Atelier B 4.0 natively supporting event B, animating such models is mandatory. 

The Brama  animator has been ported on Atelier B 4.0 environment: the predicateB predicate evaluator has been ported to C++ and connected with B-Compiler.

Ce contenu a été publié dans Applications, Tools. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire