BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 21: | Line 21: | ||
<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="fa fa-road"></i> [ | <i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial.html Tutorial] | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-user"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/ User Manual] | <i class="fa fa-user"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html User Manual] | ||
</p> | </p> | ||
</div> | </div> | ||
Revision as of 11:03, 21 November 2014
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 visualisations of Classical-B, Event-B and CSP models.
Getting Started