BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 8: Line 8:


<h4 style="text-align:center;">What is BMotionWeb?</h4>
<h4 style="text-align:center;">What is BMotionWeb?</h4>
<h4 style="text-align:center;">BMotionWeb 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>
<h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating interactive 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 11:29, 9 March 2016


Bmotion logo.png

What is BMotionWeb?

BMotionWeb is a tool built on top of the ProB Java API for creating interactive visualizations of Classical-B, Event-B and CSP models.

Download


Getting Started


Online Visualization


Documentation