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.
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.