NOTE: The GROOVE codebase has moved to https://github.com/nl-utwente-groove. Recent downloads are still available from this site.
Graph transformation, model transformation, object-oriented verification, behavioural semantics
Features
- Rapid prototyping
- Graph Transformation
- State Space Exploration
- Model Checking
License
Apache License V2.0Follow Groove
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
-
A graph transformation tool that just works and is independent of anything else.
-
Very good to see this renewed activity. Its my favourite graph transformation tool!