Prodotti
Atti, Riassunti o Comunicazioni
Verifying a Behavioural Logic for Graph Transformation Systems
- autori
- Baldan, P. and Corradini, A. and Koeonig, B. and Koeonig, B.
- anno
- 2004
- tipo prodotto
- Articolo in atti di congresso
- lingua
- inglese
- titolo serie
- Electronic Notes in Theoretical Computer Science
- editore
- Honsell, F. and Lenisa, M. and Miculan, M.
- volume
- 104
- numero pagine
- 20
- pagina iniziale
- 5
- pagina finale
- 24
- casa editrice
- Elsevier
- nome conferenza
- Proceedings of the Workshop of the COMETA Project on Computational Metamodels
- ABSTRACT
- We propose a framework for the verification of behavioural properties of systems modelled as graph transformation systems. The properties can be expressed in a temporal logic which is basically a $mu$-calculus where the state predicates are formulae of a monadic second order logic, describing graph properties. The verification technique relies on an algorithm for the construction of finite over-approximations of the unfolding of a graph transformation system.
- schede autori
- CORRADINI ANDREA