Explicit State Model Checking for Graph Grammars

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    24 Citations (Scopus)

    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.
    Original languageUndefined
    Title of host publicationConcurrency, Graphs and Models
    EditorsR. de Nicola, P. Degano, J. Meseguer
    Place of PublicationBerlin
    PublisherSpringer
    Pages114-132
    Number of pages19
    ISBN (Print)978-3-540-68676-7
    DOIs
    Publication statusPublished - Jun 2008

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Number274/5065
    Volume5065
    ISSN (Print)1611-3349

    Keywords

    • EWI-12873
    • METIS-251004
    • IR-62357

    Cite this