CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses-Reference-Cited by-同舟云学术

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses

Published:2014 Issue: Volume: Page:392-394
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Löwe Stefan,Mandrykin Mikhail,Wendler Philipp

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54862-8_27

Reference3 articles.

1. Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: A technique to pass information between verifiers. In: Tracz, W., Robillard, M.P., Bultan, T. (eds.) Proc. FSE, p. 57. ACM (2012)

2. Beyer, D., Keremoglu, M.E., Wendler, P.: Predicate abstraction with adjustable-block encoding. In: Bloem, R., Sharygina, N. (eds.) Proc. FMCAD, pp. 189–197. IEEE (2010)

3. Lecture Notes in Computer Science;D. Beyer,2013

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

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

2. Decomposing Software Verification using Distributed Summary Synthesis;Proceedings of the ACM on Software Engineering;2024-07-12

3. CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features;Lecture Notes in Computer Science;2024

4. CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation;International Journal on Software Tools for Technology Transfer;2020-06-03

5. PeSCo: Predicting Sequential Combinations of Verifiers;Tools and Algorithms for the Construction and Analysis of Systems;2019