Logo eprints

Towards the specification and verification of modal properties for structured systems

Vandin, Andrea Towards the specification and verification of modal properties for structured systems. In: Graph Transformations. Lecture Notes in Computer Science (7562). Springer, pp. 423-425. ISBN 978-3-642-33654-6 (2013)

PDF - Draft Version
Download (173kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-33654-6_31
Additional Information: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Projects: ASCENS
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 11 Jul 2012 08:08
Last Modified: 29 Jan 2014 14:51
URI: http://eprints.imtlucca.it/id/eprint/1317

Actions (login required)

Edit Item Edit Item