Difference between revisions of "AnimB"

From Event-B
Jump to: navigation, search
Line 7: Line 7:
 
* [[AnimB_install|Install instructions]]
 
* [[AnimB_install|Install instructions]]
 
* [[AnimB_start|Start an animation]]
 
* [[AnimB_start|Start an animation]]
 +
 +
[[Category:User Documentation]]
 +
[[Category:Plugin]]

Revision as of 17:23, 2 July 2008

AnimB.png

Animator of B system model in the Rodin platform.


AnimB is an animator for the Rodin platform. It allows animation of complete model (all refinements), and can be used to create a complex animation with graphical interface.