BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 19: | Line 19: | ||
<h3 style="text-align:center;">Getting Started</h3> | <h3 style="text-align:center;">Getting Started</h3> | ||
<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-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/first_steps.html First Steps] | <i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/first_steps.html First Steps] | ||
| Line 30: | Line 27: | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_csp.html Tutorial: BMotion Studio for CSP] | <i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_csp.html Tutorial: BMotion Studio for CSP] | ||
</p> | |||
</div> | |||
<br/> | |||
<h3 style="text-align:center;">Online Visualization</h3> | |||
<div style="text-align:center"> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/lift.html Simple Lift] | |||
</p> | </p> | ||
</div> | </div> | ||
Revision as of 15:31, 21 October 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