BMotion Studio

Revision as of 11:38, 19 November 2014 by Lukas Ladenberger (talk | contribs)


Bmotion logo.png

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



Getting Started



BMotion Studio is open source. It's hosted, developed, and maintained on GitHub.