CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic-Reference-Cited by-同舟云学术

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic

Published:2015 Issue: Volume: Page:423-425
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Dangl Matthias,Löwe Stefan,Wendler Philipp

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_34

Reference5 articles.

1. Beyer, D., Dangl, M., Wendler, P.: Combining k-induction with continuously-refined invariants. Technical Report MIP-1503, University of Passau. arXiv:1502.00096 (January 2015), http://arxiv.org/abs/1502.00096

2. Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: A technique to pass information between verifiers. In: Proc. FSE 2012. ACM, NewYork (2012)

3. Beyer, D., Löwe, S., Wendler, P.: Domain-type-guided refinement selection based on sliced path prefixes. Technical Report MIP-1501, University of Passau. arXiv:1502.00045 (January 2015), http://arxiv.org/abs/1502.00045

4. Lecture Notes in Computer Science;S. Löwe,2014

5. Lecture Notes in Computer Science;D. Wonisch,2012

Cited by 32 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. Exchanging information in cooperative software validation;Software and Systems Modeling;2024-03-19

4. CPAchecker 2.3 with Strategy Selection;Lecture Notes in Computer Science;2024

5. Correctness Witness Validation by Abstract Interpretation;Lecture Notes in Computer Science;2023-12-30