groove-6.2.0 · Tags · Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code