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.