BMotion Studio: Difference between revisions

No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
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;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
    <i class="glyphicon glyphicon-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/html/index.html User Manual]
    <i class="glyphicon glyphicon-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/pdf/bms-doc.pdf User Manual]
                     </p>
                     </p>
</div>
</div>

Latest revision as of 07:13, 10 October 2017


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