SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
A Temporal Graph Logic for Verification of Graph Transformation Systems @INPROCEEDINGS{BCKL07, title = {{A Temporal Graph Logic for Verification of Graph Transformation Systems}}, author = {{Paolo} {Baldan} and {Andrea} {Corradini} and {Barbara} {Koenig} and {Alberto} {Lluch Lafuente}}, booktitle = { 18th International Workshop on Algebraic Development Techniques (WADT'06)}, pages = {1-20}, abstract = {We extend our approach for verifying properties of graph
transformation systems using suitable abstractions. In the original approach
properties are specified as formulae of a propositional temporal
logic whose atomic predicates are monadic second-order graph formulae.
We generalize this aspect by considering more expressive logics, where
edge quantifiers and temporal modalities can be interleaved, a feature
which allows, e.g., to trace the history of objects in time. After characterizing
fragments of the logic which can be safely checked on the
approximations, we show how the verification of the logic over graph
transformation systems can be reduced to the verification of a logic over
suitably defined Petri nets.}, year = {2007}, url = {http://www.albertolluch.com/papers/gts2pt.pdf}, crossref = {DBLP:conf/wadt/2006}, ee = {http://dx.doi.org/10.1007/978-3-540-71998-4_1}, partner = {PISA}, task = {T4.3}, }
|