A framework for the verification of infinite-state graph transformation systems-Reference-Cited by-同舟云学术

A framework for the verification of infinite-state graph transformation systems

Published:2008-07 Issue:7 Volume:206 Page:869-907
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Baldan Paolo,Corradini Andrea,König Barbara

Funder

Ministero dell’Istruzione, dell’Università e della Ricerca

European Commission

Fondazione ART per la Ricerca sui Trapianti

Deutsche Forschungsgemeinschaft

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference59 articles.

1. Abstract and Concrete Categories—The Joy of Cats;Adamek,1990

2. P. Aziz, Abdulla, B. Jonsson, M. Kindahl D. Peled, A general approach to partial order reductions in symbolic verification, in: A.J. Hu, M.Y. Vardi (Eds.), Proceedings of CAV’98, Lecture Notes in Computer Science, vol. 1427, 1998, pp. 379–390.

3. P. Baldan, A. Corradini, J. Esparza, T. Heindel, B. König, V. Kozioura, Verifying red-black trees, in: Proceedings of COSMICAH’05, Proceedings Available as Report RR-05-04, Queen Mary, University of London, 2005.

4. P. Baldan, A. Corradini, B. König, A static analysis technique for graph transformation systems, in: K.G. Larsen, M. Nielsen (Eds.), Proceedings of CONCUR’01, Lecture Notes in Computer Science, Springer-Verlag, vol. 2154, 2001, pp. 381–395.

5. P. Baldan, A. Corradini, B. König, Static analysis of distributed systems with mobility specified by graph grammars—a case study, in: H. Ehrig, B. Krämer, A. Ertas (Eds.), Proceedings of IDPT’02 (Sixth International Conference on Integrated Design & Process Technology), Society for Design and Process Science, 2002.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic;Journal of Logical and Algebraic Methods in Programming;2024-02

2. Monadic second-order incorrectness logic for GP 2;Journal of Logical and Algebraic Methods in Programming;2023-01

3. Infinite-state graph transformation systems under adverse conditions;it - Information Technology;2021-09-23

4. Formal testing of timed graph transformation systems using metric temporal graph logic;International Journal on Software Tools for Technology Transfer;2021-06

5. Incorrectness Logic for Graph Programs;Graph Transformation;2021