eprintid: 1317
rev_number: 11
eprint_status: archive
userid: 6
dir: disk0/00/00/13/17
datestamp: 2012-07-11 08:08:58
lastmod: 2014-01-29 14:51:34
status_changed: 2012-07-11 08:08:58
type: book_section
metadata_visibility: show
creators_name: Vandin, Andrea
creators_id: andrea.vandin@
title: Towards the specification and verification of modal properties for structured systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
abstract: 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.
date: 2013
date_type: published
series: Lecture Notes in Computer Science
number: 7562
publisher: Springer
pagerange: 423-425
id_number: 10.1007/978-3-642-33654-6_31
refereed: TRUE
isbn: 978-3-642-33654-6
book_title: Graph Transformations
official_url: http://dx.doi.org/10.1007/978-3-642-33654-6_31
projects: ASCENS
citation:   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)  
document_url: http://eprints.imtlucca.it/1317/1/icgt2012-DS.pdf