Difference between revisions of "AnimB"

From Event-B
Jump to: navigation, search
(New page: 100px == 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...)
 
Line 4: Line 4:
 
----
 
----
 
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.
 
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.
 +
----
 +
* [[AnimB_install|Install instructions]]
 +
* [[AnimB_start|Start an animation]]

Revision as of 13:40, 29 June 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.