BMotion Studio

Revision as of 12:25, 30 October 2014 by Lukas Ladenberger (talk | contribs)


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

It exists an integration for Rodin.