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.