BMotion Studio

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

BMotion Studio enables the developer of a formal model to set-up easily a domain specific visualization. BMotion Studio is based on makes use of the ProB Java API. At the moment BMotion Studio supports users to create domain specific visualisations for Event-B, Classical-B, CSP and TLA.

It exists an integration for Rodin.