@inproceedings{b46b292c40e54d8e83113608c0e66b50,
title = "Using Graph Transformations and Graph Abstractions for Software Verification",
abstract = "In this abstract we present an overview of our intended approach for the verification of software written in imperative programming languages. This approach is based on model checking of graph transition systems (GTS), where each program state is modeled as a graph and the exploration engine is specified by graph transformation rules. We believe that graph transformation [13] is a very suitable technique to model the execution semantics of languages with dynamic memory allocation. Furthermore, such representation provides a clean setting to investigate the use of graph abstractions, which can mitigate the space state explosion problem that is inherent to model checking techniques.",
keywords = "IR-73569, METIS-271047, Graph Abstraction, Graph Transformation, Software Verification, EWI-18526",
author = "Eduardo Zambon",
note = "10.1007/978-3-642-15928-2_37 ; Fifth International Conference on Graph Transformations, ICGT 2010 ; Conference date: 27-09-2010 Through 02-10-2010",
year = "2010",
month = jul,
doi = "10.1007/978-3-642-15928-2_37",
language = "Undefined",
isbn = "978-3-642-15927-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "416--418",
editor = "Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Schurr",
booktitle = "Fifth International Conference on Graph Transformations (ICGT 2010)",
address = "Germany",
}