TY  - CHAP
N1  - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
UR  - http://dx.doi.org/10.1007/978-3-642-33654-6_31
N2  - System specification formalisms should come with suitable property specification languages and effective verification tools. We sketch a framework for the verification of quantified temporal properties of systems with dynamically evolving structure. We consider visual specification formalisms like graph transformation systems (GTS) where program states are modelled as graphs, and the program
behavior is specified by graph transformation rules. The state space of a GTS can be represented as a graph transition system (GTrS), i.e. a transition system with states and transitions labelled, respectively, with a graph, and with a partial morphism representing the evolution of state components. Unfortunately, GTrSs are prohibitively large or infinite even for simple systems, making verification intractable and hence calling for appropriate abstraction techniques.
AV  - public
ID  - eprints1317
TI  - Towards the specification and verification of modal properties for structured systems
T3  - Lecture Notes in Computer Science
Y1  - 2013///
SP  - 423
T2  - Graph Transformations
A1  - Vandin, Andrea
SN  - 978-3-642-33654-6
EP  - 425
PB  - Springer
ER  -