BMotion Studio: Difference between revisions

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


<div style="text-align:center;">
<div style="text-align:center;">
Line 5: Line 6:
</div>
</div>


<h4 style="text-align:center;">What is BMotion Studio for ProB?</h4>
<h4 style="text-align:center;">BMotion Studio for ProB is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of Classical-B, Event-B and CSP models.</h4>
<h4 style="text-align:center;">BMotion Studio for ProB is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of Classical-B, Event-B and CSP models.</h4>



Revision as of 12:23, 19 November 2014


Bmotion logo.png

What is BMotion Studio for ProB?

BMotion Studio for ProB is a tool built on top of the ProB Java API for creating domain specific visualisations of Classical-B, Event-B and CSP models.



Getting Started



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