Jeroen De Busser: Model checking AToMPM transformation systems with Groove
We propose a set of model transformations in AToMPM that transform any AToMPM transformation system(abstract syntax, model instances, MoTiF transformation rules and rule scheduling) to its equivalent representation in Groove. This enables the use of Groove's model checking and state space generation tool-set.