Explicit State Model Checking for Graph Grammars


Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: R. De Nicola & P. Degano & J. Meseguer (Eds.), Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer Verlag, Berlin, pp. 114-132. ISBN 9783540686767

[img] PDF
Restricted to UT campus only

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.
Item Type:Book Section
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/62357
Official URL:https://doi.org/10.1007/978-3-540-68679-8_8
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 251004