BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| (6 intermediate revisions by the same user not shown) | |||
| Line 8: | Line 8: | ||
<h4 style="text-align:center;">What is BMotionWeb?</h4> | <h4 style="text-align:center;">What is BMotionWeb?</h4> | ||
<h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating | <h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating interactive visualizations of Classical-B, Event-B and CSP models.</h4> | ||
<h3 style="text-align:center;">Download</h3> | <h3 style="text-align:center;">Download</h3> | ||
| Line 47: | Line 47: | ||
</p> | </p> | ||
</div> | </div> | ||
<br/> | <br/> | ||
<h3 style="text-align:center;">Documentation</h3> | <h3 style="text-align:center;">Documentation</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-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/ | <i class="glyphicon glyphicon-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/pdf/bms-doc.pdf User Manual] | ||
</p> | </p> | ||
</div> | </div> | ||
<!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4> | <!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4> | ||
Latest revision as of 07:13, 10 October 2017
What is BMotionWeb?
BMotionWeb is a tool built on top of the ProB Java API for creating interactive visualizations of Classical-B, Event-B and CSP models.
Download
Getting Started
Online Visualization
Documentation