MBT plugin

MBT (Model-based testing) plugin ... [TODO]

Installing

The MBT plugin relies on Rodin release 2.0 or newer and ProB plugin 2.2 or newer. The following steps will guide you through the installation process:

1. Download the latest Rodin release for your platform from Sourceforge.
2. Extract the downloaded zip file.
3. Start Rodin from the folder where you extracted the zip file in the previous step.
4. Install the ProB plugin:
   1. see ProB instalation instructions...
5. Install the MBT plugin:
   1. In the menu choose Help -> Install New Software....
      1. Click Add....
      2. As Location enter http://fmi.upit.ro/mbt_plugin
      3. Enter a name e.g. MBT Plugin.
      4. Click Ok.
6. Restart Rodin as suggested.

Now you should be ready to use the MBT plugin.

Usage

This section should help you to get started with the MBT plugin.

Starting the plugin

TODO...