Code‐level model checking in the software development workflow at Amazon Web Services-Reference-Cited by-同舟云学术

Code‐level model checking in the software development workflow at Amazon Web Services

Published:2021-01-20 Issue:4 Volume:51 Page:772-797
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw Pract Exper

Author:

Chong Nathan¹^ORCID,Cook Byron¹²,Eidelman Jonathan¹,Kallas Konstantinos³,Khazem Kareem¹,Monteiro Felipe R.¹^ORCID,Schwartz‐Narbonne Daniel¹^ORCID,Tasiran Serdar¹,Tautschnig Michael¹⁴,Tuttle Mark R.¹

Affiliation:

1. Amazon New York City New York USA

2. University College London London UK

3. University of Pennsylvania Philadelphia Pennsylvania USA

4. Queen Mary University of London London UK

Publisher

Wiley

Subject

Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.2949

Reference49 articles.

1. Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

2. Automated formal reasoning about AWS systems

3. CookB. Automated formal reasoning about Amazon web services (Keynote). Paper presented at: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software SPIN 2017;2017:9; Association for Computing Machinery New York NY.

4. BackesJ BolignanoP CookB et al. Semantic‐based automated reasoning for AWS access policies using SMT. Paper presented at: Proceedings of the 2018 Formal Methods in Computer Aided Design;2018:1‐9.https://doi.org/10.23919/FMCAD.2018.8602994.

5. Reachability Analysis for AWS-Based Networks

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

1. Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration;2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC);2023-11-21

2. Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods;iFM 2023;2023-11-06

3. Efficient linearizability checking for actor‐based systems;Software: Practice and Experience;2023-08-22

4. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18

5. Serverless Computing: New Trends and Research Directions;Serverless Computing: Principles and Paradigms;2023