BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 38: Line 38:
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/crossing.html Crossing (CSP)]
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/crossing.html Crossing (CSP)]
                    </p>
                     </p>
                     </p>
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">

Revision as of 15:44, 21 October 2015


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