relation: http://eprints.imtlucca.it/1317/
title: Towards the specification and verification of modal properties for structured systems
creator: Vandin, Andrea
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2013
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1317/1/icgt2012-DS.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-33654-6_31
relation: 10.1007/978-3-642-33654-6_31