Installation

Meeduse integrates the ProB tool within EMF-based frameworks like XText, Sirius, GMF. To use Meeduse:

1. Install the Eclipse Modelling Tools. Any recent distribution should work.


2. Launch your eclipse and install B4MSecure and Meeduse from the following update sites:
• B4MSecure: http://vasco.imag.fr/tools/b4msecure/updates/build
• Meeduse: http://vasco.imag.fr/tools/meeduse/updates/build

See the Eclipse User Guide for instructions on how to install software from update sites.