Toggle navigation
First Steps
Tutorial
B-Method Tutorial
Manual
B-Method Manual
FAQ
Download
Report Bug
PDF
BMotionWeb for ProB Handbook
4 BMotionWeb for Event-B and Classical-B
4.1 Tutorial
4.1.1 Preparation
4.1.2 The Formal Model
4.1.3 Link the Model with the Visualization
4.1.4 Create the Actual Visualization
4.1.5 Start the Visualization
4.1.6 Create Observers
4.1.7 Add Event Handler
4.2 Reference
4.2.1 Selectors
4.2.2 Observers
4.2.3 Event Handler
BMotionWeb for ProB Handbook
:
BMotionWeb for Event-B and Classical-B
