Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-2568
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKönig, Barbarade
dc.contributor.authorKozioura, Vitalide
dc.date.accessioned2006-02-06de
dc.date.accessioned2016-03-31T07:58:33Z-
dc.date.available2006-02-06de
dc.date.available2016-03-31T07:58:33Z-
dc.date.issued2006de
dc.identifier.other260406007de
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25332de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/2585-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-2568-
dc.description.abstractGraph transformation systems are a general specification language for systems with dynamically changing topologies, such as mobile and distributed systems. Although in the last few years several analysis and verification methods have been proposed for graph transformation systems, counterexample-guided abstraction refinement has not yet been studied in this setting. We propose a counterexample-guided abstraction refinement technique which is based on the over-approximation of graph transformation systems by Petri nets. We show that a spurious counterexample is caused by merging nodes during the approximation. We present a technique for identifying these merged nodes and splitting them using abstraction refinement, which removes the spurious run. The technique has been implemented in the Augur tool and experimental results are discussed.de
dc.language.isoende
dc.relation.ispartofseriesTechnischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2006,1de
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationGraphersetzungssystemde
dc.subject.ddc004de
dc.subject.othercounterexample , abstraction , refinement , graph transformationen
dc.titleCounterexample-guided abstraction refinement for the analysis of graph transformation systemsen
dc.typeworkingPaperde
dc.date.updated2013-07-08de
ubs.fakultaetFakultät Informatik, Elektrotechnik und Informationstechnikde
ubs.institutInstitut für Formale Methoden der Informatikde
ubs.opusid2533de
ubs.publikation.typArbeitspapierde
ubs.schriftenreihe.nameTechnischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnikde
Appears in Collections:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Files in This Item:
File Description SizeFormat 
TR_2006_01.pdf282,33 kBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.