This repository has been archived by the owner on Jul 17, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Home
ETAS-Eder edited this page Jul 30, 2014
·
22 revisions
This feature provides an Eclipse Plugin that generates C++ testcases from models written in Promela/mCRL2.
- Documentation for development environment pending.
- This software is in early alpha state.
- This MBT Arranger application is compilable as an Eclipse Plugin, use a non-productive Eclipse environment on a separate machine that may break, do not run this plugin in your productive Eclipse environment.
- MBT Arranger uses the following opensource tools 4.1. Eclipse : The Complete source code can be downloaded from http://www.eclipse.org/ 4.2. MinGW, GCC : The Complete source code can be downloaded from http://sourceforge.net/projects/mingw/files/MinGW/ 4.3. SPIN : The Complete source code can be downloaded from http://spinroot.com/ 4.4. Graphviz : The Complete source code can be downloaded from http://www.graphviz.org/
- MBT Arranger uses the following opensource code
5.1. ANTLR : The Complete source code can be downloaded from
http://www.antlr.org/
5.4. JAutomata : The Complete source code can be downloaded
from http://jautomata.sourceforge.net/
5.2. Apache Batik : The Complete source code can be downloaded from http://xmlgraphics.apache.org/batik/ 5.3. TopologicalSort : The Complete source code can be downloaded from http://www.keithschwarz.com/