groove online with Winfy

We have hosted the application groove in order to run this application in our online workstations with Wine or directly.

Quick description about groove:

Graph transformation, model transformation, object-oriented verification, behavioural semantics.

Features:

• Rapid prototyping
• Graph Transformation
• State Space Exploration
• Model Checking

Audience: Information Technology, Science/Research.
User interface: X Window System (X11), Win32 (MS Windows).
Programming Language: Java.
Categories: