Table of Content


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:
  3. See the Eclipse User Guide for instructions on how to install software from update sites.