BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 9: Line 9:
<h4 style="text-align:center;">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.</h4>
<h4 style="text-align:center;">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.</h4>


<h3 style="text-align:center;">Download</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" style="width:600px;">
    [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB]
    <i class="glyphicon glyphicon-download"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB]
                     </p>
                     </p>
</div>
</div>


<br/><br/>
<br/>
 
<h3 style="text-align:center;">Getting Started</h3>
<h4 style="text-align:center;">Getting Started</h4>
 
 
<div style="text-align:center;">
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline" style="width:600px;">
    <i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online visualisation for the ABZ'14 landing gear case study]
    <i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online visualization]
                     </p>
                     </p>
</div>
</div>


<div style="text-align:center;">
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline" style="width:600px;">
      <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]
      <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>
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline" style="width:600px;">
      <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]
      <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>
Line 36: Line 34:


<div style="text-align:center;">
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline" style="width:600px;">
      <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-user"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html User Manual]
                     </p>
                     </p>

Revision as of 07:28, 2 June 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.

Download


Getting Started