Skip to content
This repository has been archived by the owner on Jul 17, 2023. It is now read-only.

Home

Jump to bottom
ETAS-Eder edited this page Aug 20, 2014 · 22 revisions

Welcome to the MBT Arranger wiki!

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.

Warning: This software is in early alpha state. Please read the Readme.txt first before you continue.

Clone this wiki locally