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
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