BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 28: Line 28:
</div>
</div>


<!--br/>
<br/>
<h3 style="text-align:center;">Online Visualization</h3>
<h3 style="text-align:center;">Online Visualization</h3>
<div style="text-align:center">
<div style="text-align:center">
Line 47: Line 47:
                     </p>
                     </p>
</div>
</div>
<br/-->
<br/>
<h3 style="text-align:center;">Documentation</h3>
<h3 style="text-align:center;">Documentation</h3>
<div style="text-align:center;">
<div style="text-align:center;">

Revision as of 16:19, 10 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