Main menu:

Subpages for Demos:

Demos

The videos in this page demonstrate how to perform several important tasks in GROOVE.

The demos are (the inactive items are under production).

  • Introduction to Groove. An introductory demo showing the basic functionalities of GROOVE.
  • Editing Graphs & Rules. How to perform basic graph and rule editing.
  • Exploration Options. A demo that explains how to use the state space exploration capabilities of GROOVE.
  • Type Graphs. How to use typing in your rule system.
  • Visualization. Shows how to use the GUI options of the Simulator in order to work with large graphs in a useful manner.
Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.