1.1 Overview
This handbook consists of five parts:
- Introduction (Chapter 1)
You are reading the introduction right now. Its purpose is to help you orient yourself and to find information quickly.
- First Steps (Chapter 2)
If you are completely new to BMotionWeb, this section is a good way to get up to speed quickly. It guides you through the installation and usage of the tool.
- BMotionWeb for Event-B and Classical-B (Chapter 4)
This section provides comprehensive documentation of BMotionWeb for creating visualisations of Event-B or Classical-B models.
- BMotionWeb for CSP (Chapter )
This section provides comprehensive documentation of BMotionWeb for creating visualisations of CSP-M models.
- Frequently Asked Questions (Chapter 5)
Common issues are listed by category in the FAQ.
- Index
We included an index particularly for the print version of the handbook, but it may be useful in the electronic versions as well.