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.
Port & development of Brama model animator to Atelier B
Ce contenu a été publié dans Applications, Tools. Vous pouvez le mettre en favoris avec ce permalien.