GROOVE

GROOVE is a project centered around the use of simple graphs for modelling the compile-time, design-time and run-time structureof object-oriented systems, and graph transformations as a basis for model transformation and operational semantics.

In GROOVE this entails a formal foundation for model transformation and dynamic semantics, and the ability to verify model transformation and dynamic semantics through an (automatic) analysis of the resulting graph transformation systems, for instance using model checking.