This Eclipse feature provides an Eclipse Plugin that generates C++ testcases from models written in Promela/mCRL2. With MBT Arranger, one can also edit Promela/mCRL2 files and check those models.