Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems

Electronic Notes in Theoretical Computer Science

Volumn 211, Issue C, 2008, Pages 201-210

  König, Barbara ^a   Kozioura, Vitali ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; FUNCTIONAL ANALYSIS; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; VERIFICATION;

GRAPH TRANSFORMATION SYSTEMS; VERIFICATION ENVIRONMENT; VERIFICATION TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 42949154770     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.042     Document Type: Article

References (25)

1. Abdulla P.A., Jonsson B., Kindahl M., and Peled D. A general approach to partial order reductions in symbolic verification. Proc. of CAV '98. LNCS 1427 (1998) 379-390
2. Baldan, P., A. Corradini, J. Esparza, T. Heindel, B. König and V. Kozioura, Verifying red-black trees, in: Proc. of COSMICAH '05, 2005, proceedings available as report RR-05-04 (Queen Mary, University of London)
3. Baldan P., Corradini A., and König B. A static analysis technique for graph transformation systems. Proc. of CONCUR '01. LNCS 2154 (2001) 381-395
4. Baldan, P., A. Corradini and B. König, Static analysis of distributed systems with mobility specified by graph grammars-a case study, in: Proc. of IDPT '02 (2002)
5. Baldan P., Corradini A., and König B. Verifying finite-state graph grammars: an unfolding-based approach. Proc. of CONCUR '04. LNCS 3170 (2004) 83-98
6. Baldan P., and König B. Approximating the behaviour of graph transformation systems. Proc. of ICGT '02. LNCS 2505 (2002) 14-29
7. Baldan P., König B., and König B. A logic for analyzing abstractions of graph transformation systems. Proc. of SAS '03. LNCS 2694 (2003) 255-272
8. Bart, J., "Effiziente Entfaltungsalgorithmen für Graphersetzungssysteme," Master's thesis, Universität Stuttgart (2005), no. 2290
9. Dotti F.L., Foss L., Ribeiro L., and Santos O.M. Verification of distributed object-based systems. Proc. of FMOODS '03. LNCS 2884 (2003) 261-275
10. Dotti, F.L., B. König, O.M. dos Santos and L. Ribeiro, A case study: Verifying a mutual exclusion protocol with process creation using graph transformation systems, Technical Report 08/2004, Universität Stuttgart (2004)
11. Horsch, M., Test case generation for rule-based translators (2005), Studienarbeit (Student research project) No. 1984, Universität Stuttgart
12. König B., and Kozioura V. Augur-a tool for the analysis of graph transformation systems. EATCS Bulletin 87 (2005) 125-137 appeared in The Formal Specification Column
13. König B., and Kozioura V. Counterexample-guided abstraction refinement for the analysis of graph transformation systems. Proc. of TACAS '06. LNCS 3920 (2006) 197-211
14. Lambers, L., A new version of GTXL: An exchange format for graph transformation systems, in: Proc. of GraBaTs'04, 2004
15. Reisig W. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science (1985), Springer-Verlag, Berlin, Germany
16. Relange, N., "Verifikation dynamischer Systeme: Reguläre Ausdrücke zur Spezifikation verbotener Pfade," Master's thesis, Universität Stuttgart (2004), no. 2192
17. Rensink A. Canonical graph shapes. Proc. of ESOP '04. LNCS 2986 (2004) 401-415
18. Rudolf M. Utilizing constraint satisfaction techniques for efficient graph pattern matching. Proc. of TAGT '98. LNCS 1764 (1998) 238-251
19. Taentzer G. AGG: A tool environment for algebraic graph transformation. Proc. of AGTIVE '99. LNCS 1779 (1999) 481-488
20. Tsotniashvili, T., "Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln," Master's thesis, Universität Stuttgart (2006), no. 2431
21. Turan, S., Effiziente Berechnung der Überdeckbarkeit bei Petri-Netzen (2004), Studienarbeit (Student research project), No. 1935, Universität Stuttgart
22. Varró D. Towards symbolic analysis of visual modeling languages. Proc. of GT-VMT '02. ENTCS 72 (2002)
23. Varró G., and Varró D. Graph transformation with incremental updates. Proc. of GT-VMT '04. ENTCS 109 (2004) 71-83
24. von Merkatz, A., "Analyse von Graphtransformationssystemen mit Hilfe von Petrinetzen und Logiken," Master's thesis, Universität Stuttgart (2006), no. 2442
25. Zündorf A. Graph pattern matching in PROGRES. Proc. of TAGT '94. LNCS 1073 (1994) 454-468