BMotion Studio

Revision as of 11:34, 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