Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems-Reference-Cited by-同舟云学术

Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems

Published:2006 Issue: Volume: Page:197-211
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

König Barbara,Kozioura Vitali

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11691372_13

Reference17 articles.

1. Lecture Notes in Computer Science;P.A. Abdulla,1998

2. Baldan, P., Corradini, A., Esparza, J., Heindel, T., König, B., Kozioura, V.: Verifying red-black trees. In: Proc. of COSMICAH 2005, Proceedings available as report RR-05-04 (Queen Mary, University of London) (2005)

3. Lecture Notes in Computer Science;P. Baldan,2001

4. Baldan, P., Corradini, A., König, B.: Static analysis of distributed systems with mobility specified by graph grammars - a case study. In: Proc. of IDPT 2002. Society for Design and Process Science (2002)

5. Lecture Notes in Computer Science;P. Baldan,2002

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

1. Towards Using Structural Abstraction for Model Checking;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10

2. Liveness in broadcast networks;Computing;2021-08-10

3. Liveness in Broadcast Networks;Networked Systems;2019

4. Multi-granular conflict and dependency analysis in software engineering based on graph transformation;Proceedings of the 40th International Conference on Software Engineering;2018-05-27

5. A feature-based classification of formal verification techniques for software models;Software & Systems Modeling;2017-03-27