• Navigation
  • Main Page
  • User Manual
  • Tutorials
  • Developer Manual
  • Benchmarks
  • Licence
  • Logic Calculator
• Special Pages
  • Recent changes
• User
  • Log in

Help

BMotionWeb

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

Download BMotionWeb

Getting Started

First Steps (Installation and Start)

Tutorial: BMotionWeb for Event-B and Classical-B

Online Visualization

Simple Lift (Event-B)

Cars on bridge (Event-B)

Landing Gear System (Event-B)

Documentation

User Manual