Explicit State Model Checking for Graph Grammars

Arend Rensink

doi:10.1007/978-3-540-68679-8_8

Explicit State Model Checking for Graph Grammars

Arend Rensink

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

28 Citations (Scopus)

13 Downloads (Pure)

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 language	Undefined
Title of host publication	Concurrency, Graphs and Models
Editors	R. de Nicola, P. Degano, J. Meseguer
Place of Publication	Berlin
Publisher	Springer
Pages	114-132
Number of pages	19
ISBN (Print)	978-3-540-68676-7
DOIs	https://doi.org/10.1007/978-3-540-68679-8_8
Publication status	Published - Jun 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	274/5065
Volume	5065
ISSN (Print)	1611-3349

Keywords

EWI-12873
METIS-251004
IR-62357

Access to Document

10.1007/978-3-540-68679-8_8

http://eprints.eemcs.utwente.nl/secure2/12873/01/ugo2008.pdf

Cite this

@inbook{afd7923607544e15afcf59522337b45c,

title = "Explicit State Model Checking for Graph Grammars",

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.",

keywords = "EWI-12873, METIS-251004, IR-62357",

author = "Arend Rensink",

note = "10.1007/978-3-540-68679-8_8 ",

year = "2008",

month = jun,

doi = "10.1007/978-3-540-68679-8_8",

language = "Undefined",

isbn = "978-3-540-68676-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "274/5065",

pages = "114--132",

editor = "{de Nicola}, R. and P. Degano and J. Meseguer",

booktitle = "Concurrency, Graphs and Models",

address = "Germany",

}

Explicit State Model Checking for Graph Grammars. / Rensink, Arend.
Concurrency, Graphs and Models. ed. / R. de Nicola; P. Degano; J. Meseguer. Berlin: Springer, 2008. p. 114-132 10.1007/978-3-540-68679-8_8 (Lecture Notes in Computer Science; Vol. 5065, No. 274/5065).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Explicit State Model Checking for Graph Grammars

AU - Rensink, Arend

N1 - 10.1007/978-3-540-68679-8_8

PY - 2008/6

Y1 - 2008/6

N2 - 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.

AB - 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.

KW - EWI-12873

KW - METIS-251004

KW - IR-62357

U2 - 10.1007/978-3-540-68679-8_8

DO - 10.1007/978-3-540-68679-8_8

M3 - Chapter

SN - 978-3-540-68676-7

T3 - Lecture Notes in Computer Science

SP - 114

EP - 132

BT - Concurrency, Graphs and Models

A2 - de Nicola, R.

A2 - Degano, P.

A2 - Meseguer, J.

PB - Springer

CY - Berlin

ER -