Used Tools¶

For Retrascope IDE to be used, several tools are needed:

1. Eclipse IDE (Kepler or Luna or Photon)
2. Graphical Editing Framework Zest Visualization Toolkit SDK 1.5.* (can be installed through Eclipse repository or Eclipse Marketplace)
3. Plug-in Development Platform (can be installed through Eclipse repository or Eclipse Marketplace)
4. SVeditor Eclipse plug-in
5. SMT solver (Z3 or CVC4)
6. SMV model checker (NuSMV or nuXmv)
7. Python interpreter

For these tools to be properly installed and configured, follow the Installation Guide