BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 1: Line 1:
[[Category:Components]]
[[Category:Components]]


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]].
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 [[ProB for Rodin | Rodin]].
It exists an integration for [[ProB for Rodin | Rodin]].

Revision as of 12:25, 30 October 2014


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.