%0 Book Section %1 rensink_08_explicit %A Rensink, Arend %D 2008 %J Concurrency, Graphs and Models %K 2008 model_checking %P 114--132 %R 10.1007/978-3-540-68679-8_8 %T Explicit State Model Checking for Graph Grammars %U http://dx.doi.org/10.1007/978-3-540-68679-8_8 %X 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.

@incollection{rensink_08_explicit, abstract = {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.}, added-at = {2009-02-11T20:43:46.000+0100}, author = {Rensink, Arend}, biburl = {https://www.bibsonomy.org/bibtex/20abe63a04c6780d1f8ffb26e68f3fd12/leonardo}, citeulike-article-id = {2910147}, doi = {10.1007/978-3-540-68679-8_8}, interhash = {051ce78e82410ab45148fe930bab885d}, intrahash = {0abe63a04c6780d1f8ffb26e68f3fd12}, journal = {Concurrency, Graphs and Models}, keywords = {2008 model_checking}, pages = {114--132}, posted-at = {2008-06-20 12:26:06}, priority = {2}, timestamp = {2009-02-11T20:43:46.000+0100}, title = {Explicit State Model Checking for Graph Grammars}, url = {http://dx.doi.org/10.1007/978-3-540-68679-8_8}, year = 2008 }