No edit summary |
No edit summary |
||
Line 8: | Line 8: | ||
<h4 style="text-align:center;">What is BMotionWeb?</h4> | <h4 style="text-align:center;">What is BMotionWeb?</h4> | ||
<h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating | <h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating interactive visualizations of Classical-B, Event-B and CSP models.</h4> | ||
<h3 style="text-align:center;">Download</h3> | <h3 style="text-align:center;">Download</h3> |