BMotion Studio

Revision as of 11:00, 31 October 2014 by Michael Leuschel (talk | contribs)


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.