BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
<h4 style="text-align:center;">What is BMotion Studio for ProB?</h4> | <h4 style="text-align:center;">What is BMotion Studio for ProB?</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 visualizations 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 visualizations of Classical-B, Event-B and CSP models.</h4> | ||
<h3>v0.2.3 Release</h3> | |||
[https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues] | |||
<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"> | <p class="btn btn-lg btn-outline"> | ||
<i class="glyphicon glyphicon-download"></i> [ | <i class="glyphicon glyphicon-download"></i> [[BMotion_Studio_Download | Download BMotion Studio for ProB]] | ||
</p> | </p> | ||
</div> | </div> | ||
Revision as of 13:05, 30 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.
v0.2.3 Release
List of fixed and implemented issues
Download
Getting Started
Online Visualization
Documentation