Code-level model checking in the software development workflow-Reference-Cited by-同舟云学术

Code-level model checking in the software development workflow

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice
language:
Short-container-title:

Author:

Chong Nathan¹,Cook Byron¹,Kallas Konstantinos²,Khazem Kareem¹,Monteiro Felipe R.¹,Schwartz-Narbonne Daniel¹,Tasiran Serdar¹,Tautschnig Michael³,Tuttle Mark R.¹

Affiliation:

1. Amazon

2. University of Pennsylvania

3. Queen Mary University of London

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3377813.3381347

Reference28 articles.

1. Supriya Anand. 2018. Daniel Schwartz-Narbonne shares how automated reasoning is helping achieve the provable security of AWS boot code. Amazon Web Services. https://aws.amazon.com/blogs/security/automated-reasoning-provable-security-of-boot-code-tlarg/ Supriya Anand. 2018. Daniel Schwartz-Narbonne shares how automated reasoning is helping achieve the provable security of AWS boot code. Amazon Web Services. https://aws.amazon.com/blogs/security/automated-reasoning-provable-security-of-boot-code-tlarg/

2. A few billion lines of code later

3. Automatic Verification of C and Java Programs: SV-COMP 2019

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

1. The Return of Formal Requirements Engineering in the Era of Large Language Models;Lecture Notes in Computer Science;2024

2. ESBMC v7.3: Model Checking C++ Programs Using Clang AST;Lecture Notes in Computer Science;2023-12-02

3. Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01

4. Completeness Thresholds for Memory Safety of Array Traversing Programs;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06

5. Incremental Call Graph Construction in Industrial Practice;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05