• Navigation
  • Main Page
  • User Manual
  • Tutorials
  • Developer Manual
  • Benchmarks
  • Licence
  • Logic Calculator
• Special Pages
  • Recent changes
• User
  • Log in

Help

BMotion Studio: Difference between revisions

Revision as of 14:12, 3 June 2015 (view source) Lukas Ladenberger (talk | contribs) No edit summary ← Older edit		Revision as of 08:22, 11 September 2015 (view source) Lukas Ladenberger (talk | contribs) No edit summary Newer edit →
Line 11:		Line 11:
	<h3 style="text-align:center;">Download</h3>		<h3 style="text-align:center;">Download</h3>
	<div style="text-align:center;">		<div style="text-align:center;">
	<p class="btn btn-lg btn-outline" style="width:600px;">		<p class="btn btn-lg btn-outline">
	<i class="glyphicon glyphicon-download"></i> [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>
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" style="width:600px;">		<p class="btn btn-lg btn-outline">
	<i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online visualization]		<i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online visualization]
	</p>		</p>
	<p class="btn btn-lg btn-outline" style="width:600px;">		<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]
	</p>		</p>
	<p class="btn btn-lg btn-outline" style="width:600px;">		<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_b.html Tutorial: BMotion Studio for Event-B and Classical-B]		<i class="glyphicon glyphicon-check"></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" style="width:600px;">		<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>
	<p class="btn btn-lg btn-outline" style="width:600px;">
	<i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html User Manual]
	</p>		</p>
	</div>		</div>

---

Revision as of 08:22, 11 September 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

Download BMotion Studio for ProB

Getting Started

Try our online visualization

First Steps

Tutorial: BMotion Studio for Event-B and Classical-B

Tutorial: BMotion Studio for CSP