Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems-Reference-Cited by-同舟云学术

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems

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

Author:

Esparza Javier,Kiefer Stefan,Schwoon Stefan

Publisher

Springer Berlin Heidelberg

Link

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

Reference17 articles.

1. Lecture Notes in Computer Science;T. Ball,2001

2. Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: Proc. POPL 2002, pp. 58–70. ACM Press, New York (2002)

3. Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. In: Proc. 25th International Conference on Software Engineering (ICSE), pp. 385–395. IEEE Computer Society Press, Los Alamitos (2003)

4. Lecture Notes in Computer Science;E. Clarke,2000

5. Schwoon, S.: Model-Checking Pushdown Systems. PhD thesis, TU München (2002)

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

1. A Model Checker for Operator Precedence Languages;ACM Transactions on Programming Languages and Systems;2023-09-23

2. Conditional interpolation: making concurrent program verification more effective;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18

3. Interpolation-Based GR(1) Assumptions Refinement;Tools and Algorithms for the Construction and Analysis of Systems;2017

4. Acceleration in Multi-PushDown Systems;Tools and Algorithms for the Construction and Analysis of Systems;2016

5. BDD-based software verification;International Journal on Software Tools for Technology Transfer;2014-08-19