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

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

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

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

4. MetaVal: Witness Validation via Verification;Computer Aided Verification;2020

5. Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools;Lecture Notes in Computer Science;2019