Making Software Verification Tools Really Work-Reference-Cited by-同舟云学术

Making Software Verification Tools Really Work

Published:2011 Issue: Volume: Page:28-42
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Alglave Jade,Donaldson Alastair F.,Kroening Daniel,Tautschnig Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24372-1_3

Reference46 articles.

1. Adve, S., Hill, M.: Weak Ordering – A New Definition. In: ISCA (1990)

2. Ball, T., Rajamani, S.: Boolean programs: A model and process for software analysis. Tech. Rep. 2000-14, Microsoft Research (February 2000)

3. Ball, T., Bounimova, E., Kumar, R., Levin, V.: SLAM2: Static driver verification with under 4% false alarms. In: FMCAD, pp. 35–42. IEEE, Los Alamitos (2010)

4. Lecture Notes in Computer Science;T. Ball,2010

5. Ball, T., Rajamani, S.: The SLAM project: debugging system software via static analysis. In: Principles of Programming Languages (POPL), pp. 1–3. ACM, New York (2002)

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

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

2. JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

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

4. A Survey of Practical Formal Methods for Security;Formal Aspects of Computing;2022-03-31

5. Cooperation Between Automatic and Interactive Software Verifiers;Software Engineering and Formal Methods;2022