From Event-BJump to navigationJump to search
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.
- Install Instructions
- User manual
- Flash Animation Tutorial
- Limitations and Workarounds
See also animb web site