In this paper we present the philosophy behind the GROOVE project, in which graph transformation is used as a modelling formalism on top of which a model checking approach to software verification is being built. We describe the basic formalism, the current state of the project, and (current and future) challenges.
|Title of host publication||Concurrency, Graphs and Models|
|Editors||R. de Nicola, P. Degano, J. Meseguer|
|Place of Publication||Berlin|
|Number of pages||19|
|Publication status||Published - Jun 2008|
|Name||Lecture Notes in Computer Science|