BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 28: | Line 28: | ||
</div> | </div> | ||
< | <br/> | ||
<h3 style="text-align:center;">Online Visualization</h3> | <h3 style="text-align:center;">Online Visualization</h3> | ||
<div style="text-align:center"> | <div style="text-align:center"> | ||
| Line 47: | Line 47: | ||
</p> | </p> | ||
</div> | </div> | ||
<br/ | <br/> | ||
<h3 style="text-align:center;">Documentation</h3> | <h3 style="text-align:center;">Documentation</h3> | ||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
Revision as of 16:19, 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
Online Visualization
Documentation