Welcome to AnimB web site

Here you will find resources and links to use AnimB.

AnimB is a B model animator. This is a plugin of the Rodin platform. This plugin is an entire open source, and published under the Eclipse Public License 1.0 (EPL).

This is an own work and it comes of course with no warranty. This work have been done with the help of Systerel and other engineers.

The AnimB animator could be used to build graphical animation. You can download the Flash component to build flash animation.

Help needed? You can find documentation on the event-b web site and on the wiki.

I

Somes queries? You can send me an email to christophe.metayer@animb.org