You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 17, 2023. It is now read-only.
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.
After that, first time users are recommended to visit Getting Started.