Abstract | ||
---|---|---|
We propose a framework for the verication of behavioural properties of systems modelled as graph transformation systems. The properties can be expressed in a temporal logic which is basically a -calculus where the state predicates are formu- lae of a monadic second order logic, describing graph properties. The verication technique relies on an algorithm for the construction of nite over-approximations of the unfolding of a graph transformation system. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2004.08.018 | Electr. Notes Theor. Comput. Sci. |
Keywords | DocType | Volume |
behavioural logic,graph transformation systems,graph transformation,temporal logic | Journal | 104, |
ISSN | Citations | PageRank |
Electronic Notes in Theoretical Computer Science | 9 | 0.64 |
References | Authors | |
18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paolo Baldan | 1 | 696 | 51.95 |
Andrea Corradini | 2 | 1108 | 90.63 |
Barbara König | 3 | 146 | 8.23 |
Bernhard König | 4 | 44 | 5.84 |