Baldan, Paolo; Corradini, Andrea; König, Barbara:
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
In: Proceedings of the 15th International Conference, CONCUR 2004. - (Lecture Notes in Computer Science ; 3170) - Berlin [u.a.]: Springer, 2004, S. 83 - 98
Buchaufsatz/Kapitel in Sammelwerk2004Informatik
Titel:
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, BarbaraLSF
Erscheinungsjahr
2004
WWW URL
Erschienen in:
Titel:
Proceedings of the 15th International Conference, CONCUR 2004. - (Lecture Notes in Computer Science ; 3170)
Erscheinungsort
Berlin [u.a.]
Verlag
Springer
Erscheinungsjahr
2004
in:
S. 83 - 98
ISBN:

Abstract:

We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the unfolding semantics and it generalises McMillan's complete prefix approach, originally developed for Petri nets, to graph transformation systems. It allows to check properties of the graphs reachable in the system, expressed in a monadic second order logic.