Navigation
Special Pages
- Recent changes

User
- Log in

BMotion Studio

Revision as of 13:22, 3 November 2014 by Lukas Ladenberger (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BMotion Studio is a tool built on top of the ProB Java API for creating domain specific visualisations of formal models.

There exists an integration for Rodin.

Documentation

Retrieved from "https://prob.hhu.de/w/index.php?title=BMotion_Studio&oldid=2413"

Components