×

zbMATH — the first resource for mathematics

Explicit state model checking for graph grammars. (English) Zbl 1143.68462
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 114-132 (2008).
Summary: 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.
For the entire collection see [Zbl 1137.68003].

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68Q42 Grammars and rewriting systems
Software:
GROOVE; BLAST
PDF BibTeX Cite
Full Text: DOI