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
Abstract: Recently, many researchers are working on semantics preserving model transformation. In th...
Until now there have been few contributions concerning the verification of graph grammars, specifica...
AbstractGraph grammars may be used as specification technique for different kinds of systems, specia...
In this abstract we present an overview of our intended approach for the verification of software wr...
The tool described here is the first part of a tool set called GROOVE (GRaph-based Object-Oriented V...
The verification of systems with respect to a desired set of behavioural properties is a crucial ste...
Model checking is increasingly popular for hardware and, more recently, software verification. In th...
Graphs may be used as representations of system states in operational semantics and model checking; ...
Graphs may be used as representations of system states in operational semantics and model checking; ...
Much research has been done in the field of model-checking complex systems (either hardware or softw...
Until now there have been few contributions concerning the verification of graph grammars, specifica...
AbstractGraphs may be used as representations of system states in operational semantics and model ch...
Important classes of graph grammars have infinite state spaces and therefore cannot be verified with...
peer reviewedRecently, many researchers are working on semantics preserving model transformation. In...
Abstract. Recently, many researchers are working on semantics preserving model transformation. In th...
Abstract: Recently, many researchers are working on semantics preserving model transformation. In th...
Until now there have been few contributions concerning the verification of graph grammars, specifica...
AbstractGraph grammars may be used as specification technique for different kinds of systems, specia...
In this abstract we present an overview of our intended approach for the verification of software wr...
The tool described here is the first part of a tool set called GROOVE (GRaph-based Object-Oriented V...
The verification of systems with respect to a desired set of behavioural properties is a crucial ste...
Model checking is increasingly popular for hardware and, more recently, software verification. In th...
Graphs may be used as representations of system states in operational semantics and model checking; ...
Graphs may be used as representations of system states in operational semantics and model checking; ...
Much research has been done in the field of model-checking complex systems (either hardware or softw...
Until now there have been few contributions concerning the verification of graph grammars, specifica...
AbstractGraphs may be used as representations of system states in operational semantics and model ch...
Important classes of graph grammars have infinite state spaces and therefore cannot be verified with...
peer reviewedRecently, many researchers are working on semantics preserving model transformation. In...
Abstract. Recently, many researchers are working on semantics preserving model transformation. In th...
Abstract: Recently, many researchers are working on semantics preserving model transformation. In th...
Until now there have been few contributions concerning the verification of graph grammars, specifica...
AbstractGraph grammars may be used as specification technique for different kinds of systems, specia...
DOI
Add to ORKG