BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 7: Line 7:


<h4 style="text-align:center;">What is BMotion Studio for ProB?</h4>
<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 visualizations of Classical-B, Event-B and CSP models.</h4>


<h3 style="text-align:center;">Download</h3>
<h3 style="text-align:center;">Download</h3>

Revision as of 07:51, 2 June 2015


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 visualizations of Classical-B, Event-B and CSP models.

Download


Getting Started