BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 51: Line 51:
<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://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/index.html User Manual]
    <i class="glyphicon glyphicon-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/html/index.html User Manual]
                     </p>
                     </p>
</div>
</div>

Revision as of 15:49, 8 January 2016


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


Online Visualization


Documentation