BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 46: Line 46:
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bully.html Bully Algorithm (CSP)]
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bully.html Bully Algorithm (CSP)]
                     </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 13:09, 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

Documentation