BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 35: Line 35:
                     <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/lift.html Simple Lift (Event-B)]
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/lift.html Simple Lift (Event-B)]
                    </p>
                    <p class="btn btn-lg btn-outline">
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bridge.html Cars on bridge (Event-B)]
                     </p>
                     </p>
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">

Revision as of 10:26, 23 November 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