BMotion Studio: Difference between revisions

Revision as of 11:00, 31 October 2014

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.

@@ Line 1: / Line 1: @@
 [[Category:Components]]
-BMotion Studio is a tool build on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.
+BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.
-It exists an integration for [[ProB for Rodin | Rodin]].
+There exists an integration for [[ProB for Rodin | Rodin]].