BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[Category:Components]] | [[Category:Components]] | ||
__NOTOC__ | |||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
| Line 5: | Line 6: | ||
</div> | </div> | ||
<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 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> | ||
Revision as of 12:23, 19 November 2014
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