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> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_b.html Tutorial]
      <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 style="text-align:center;">
                     <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/html User Manual]
      <i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_b.html Tutorial: BMotion Studio for Event-B and Classical-B]
                    </p>
                    <p class="btn btn-lg btn-outline">
      <i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_csp.html Tutorial: BMotion Studio for CSP]
                     </p>
                     </p>
</div>
</div>
<br/><br/>
<br/><br/>



Revision as of 14:14, 20 January 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 visualisations of Classical-B, Event-B and CSP models.



Getting Started



BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.