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 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. Validity Constraints for Data Analysis Workflows;2023

3. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Verification Witnesses;ACM Transactions on Software Engineering and Methodology;2022-09-08

5. Machine Learning Based Invariant Generation: A Framework and Reproducibility Study;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04