Project

General

Profile

Actions

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

Updated by Sergey Smolov over 1 year ago · 6 revisions