CPAchecker: A Tool for Configurable Software Verification-Reference-Cited by-同舟云学术

CPAchecker: A Tool for Configurable Software Verification

Published:2011 Issue: Volume: Page:184-190
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Beyer Dirk,Keremoglu M. Erkan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22110-1_16

Reference8 articles.

1. Ball, T., Rajamani, S.K.: The Slam project: Debugging system software via static analysis. In: POPL 2002, pp. 1–3. ACM, New York (2002)

2. Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M.E., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD 2009, pp. 25–32. IEEE Computer Society Press, Los Alamitos (2009)

3. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast. Int. J. Softw. Tools Technol. Transfer 9(5-6), 505–525 (2007)

4. Lecture Notes in Computer Science;D. Beyer,2007

5. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustable-block encoding. In: FMCAD 2010, pp. 189–197 (2010)

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

1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12

2. Software Verification with CPAchecker 3.0: Tutorial and User Guide;Lecture Notes in Computer Science;2024-09-13

3. FM-Weck: Containerized Execution of Formal-Methods Tools;Lecture Notes in Computer Science;2024-09-13

4. A Pyramid Of (Formal) Software Verification;Lecture Notes in Computer Science;2024-09-13

5. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification;Proceedings of the ACM on Software Engineering;2024-07-12