Help
Download BMotion Studio for ProB
First Steps (Installation and Start)
Tutorial: BMotion Studio for Event-B and Classical-B
Tutorial: BMotion Studio for CSP
Simple Lift (Event-B)
Landing Gear System (Event-B)
Crossing (CSP)
Bully Algorithm (CSP)
User Manual