BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 55: | Line 55: | ||
</p> | </p> | ||
</div> | </div> | ||
<!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4> | <!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4> | ||
Revision as of 13:09, 10 March 2016
What is BMotionWeb?
BMotionWeb is a tool built on top of the ProB Java API for creating interactive visualizations of Classical-B, Event-B and CSP models.
Download
Getting Started
Documentation