The GROOVE Simulator: A Tool for State Space Generation

    Research output: Contribution to conferencePaperAcademicpeer-review

    191 Citations (Scopus)
    78 Downloads (Pure)

    Abstract

    The tool described here is the first part of a tool set called GROOVE (GRaph-based Object-Oriented VErification) for software model checking of object-oriented systems. The special feature of GROOVE, which sets it apart from other model checking approaches, is that it is based on graph transformations. It uses graphs to represent state snapshots; transitions arise from the application of graph production rules. This yields so-called Graph Transition Systems (GTSrsquos) as computational models.
    Original languageEnglish
    Pages479-485
    Number of pages7
    DOIs
    Publication statusPublished - 2004
    Event2nd International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003 - Charlottesville, United States
    Duration: 27 Sep 20031 Oct 2003
    Conference number: 2

    Conference

    Conference2nd International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003
    Abbreviated titleAGTIVE
    CountryUnited States
    CityCharlottesville
    Period27/09/031/10/03

    Keywords

    • EWI-6926
    • IR-66357
    • METIS-220514

    Fingerprint Dive into the research topics of 'The GROOVE Simulator: A Tool for State Space Generation'. Together they form a unique fingerprint.

    Cite this