BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
<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 | <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 style="text-align:center;">Download</h3> | <h3 style="text-align:center;">Download</h3> | ||
Revision as of 07:51, 2 June 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
Getting Started