Towards Automated Static Verification of GNU C Programs-Reference-Cited by-同舟云学术

Towards Automated Static Verification of GNU C Programs

Published:2018 Issue: Volume: Page:402-416
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Novikov Evgeny,Zakharov Ilja

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-74313-4_30

Reference28 articles.

1. Ball, T., Bounimova, E., Kumar, R., Levin, V.: SLAM2: Static driver verification with under 4% false alarms. In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, pp. 35–42. FMCAD Inc, Austin (2010)

2. Lecture Notes in Computer Science;E Clarke,2004

3. Lecture Notes in Computer Science;D Beyer,2011

4. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58, 117–148 (2003)

5. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752–794 (2003)

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

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

2. Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness;Programming and Computer Software;2020-12

3. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

4. Scalable Thread-Modular Approach for Data Race Detection;Frontiers in Software Engineering Education;2020

5. Verification of Operating System Monolithic Kernels Without Extensions;Lecture Notes in Computer Science;2018