Verifying Finite-State Graph Grammars: An Unfolding-Based Approach

@inproceedings{Baldan2004VerifyingFG,
  title={Verifying Finite-State Graph Grammars: An Unfolding-Based Approach},
  author={Paolo Baldan and Andrea Corradini and Barbara K{\"o}nig},
  booktitle={CONCUR},
  year={2004}
}
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. 
BETA
Highly Cited
This paper has 91 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

91 Citations

01020'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-10 OF 20 REFERENCES

Towards model he king graph grammars

  • A. Rensink
  • In Pro . of the 3rd Work shop on Automated Veri…
  • 2003

S

  • J. Esparza
  • R omer, and W. Vogler. An improvement of M…
  • 2002

o

  • D. Var
  • Towards symboli analysis of visual modelling…
  • 2002

A general framework for types in graph rewriting

  • B. Konig
  • In Pro . of FST TCS
  • 2000

Unfolding and Event Stru ture Se - manti s for Graph Grammars

  • U. Montanari
  • 1999

editors

  • H. Ehrig, J. Kreowski, U. Montanari, G. Rozenberg
  • Handbook of Graph Grammars and Computing by…
  • 1999

Compositional veri ation of rea tive systems spe i ed by graph trans formation

  • R. He kel
  • In Pro . of FASE'98,
  • 1998

R

  • A. Corradini, U. Montanari, F. Rossi, H. Ehrig
  • He kel, and M. Lowe. Algebrai Approa hes to…
  • 1997

The model he ker SPIN

  • G. J. Holzmann
  • IEEE Trans. on Software Engineering, 23(5):279…
  • 1997

elle

  • B. Cou
  • The expression of graph properties and graph…
  • 1997

Similar Papers

Loading similar papers…