Tool documentation

Below the main tools provided in the toolset are given. The common tools are suitable for all main tasks to be carried out with the toolset. The experimental tools are tools that are under development and provide additional but still experimental functionality.

List of the experimental tools

.

In the source distribution there are more tools such as the deprecated and developer tools.

Table Of Contents

Previous topic

Using mcrl2-gui

Next topic

besinfo