Combining Model Checking and Data-Flow Analysis-Reference-Cited by-同舟云学术

Combining Model Checking and Data-Flow Analysis

Published:2018 Issue: Volume: Page:493-540
ISSN:
Container-title:Handbook of Model Checking
language:
Short-container-title:

Author:

Beyer Dirk,Gulwani Sumit,Schmidt David A.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-10575-8_16

Reference120 articles.

1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)

2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)

3. LNCS;T. Ball,2001

4. Ball, T., Rajamani, S.K.: The Slam project: debugging system software via static analysis. In: Launchbury, J., Mitchell, J.C. (eds.) Symp. on Principles of Programming Languages (POPL), pp. 1–3. ACM, New York (2002)

5. Ball, T., Rajamani, S.K.: SLIC: a specification language for interface checking (of C). Tech. Rep. MSR-TR-2001-21, Microsoft Research (2002)

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

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

2. Refining CEGAR-Based Test-Case Generation with Feasibility Annotations;Lecture Notes in Computer Science;2024-09-10

3. Validity constraints for data analysis workflows;Future Generation Computer Systems;2024-08

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

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