Igloo: soundly linking compositional refinement and separation logic for distributed system verification-Reference-Cited by-同舟云学术

Igloo: soundly linking compositional refinement and separation logic for distributed system verification

Published:2020-11-13 Issue:OOPSLA Volume:4 Page:1-31
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Sprenger Christoph¹,Klenze Tobias¹,Eilers Marco¹,Wolf Felix A.¹,Müller Peter¹,Clochard Martin¹,Basin David¹

Affiliation:

1. ETH Zurich, Switzerland

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

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

Reference49 articles.

1. Martín Abadi and Leslie Lamport. 1991. The Existence of Refinement Mappings. Theor. Comput. Sci. 82 2 ( 1991 ) 253-284. https://doi.org/10.1016/ 0304-3975 ( 91 ) 90224-P 10.1016/0304-3975(91)90224-P Martín Abadi and Leslie Lamport. 1991. The Existence of Refinement Mappings. Theor. Comput. Sci. 82 2 ( 1991 ) 253-284. https://doi.org/10.1016/ 0304-3975 ( 91 ) 90224-P 10.1016/0304-3975(91)90224-P

2. Modeling in Event-B

3. Verified Software Toolchain

4. Friends with Benefits

5. Introduction to Reliable and Secure Distributed Programming

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

1. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement;Proceedings of the ACM on Programming Languages;2024-01-05

2. Verification Algorithms for Automated Separation Logic Verifiers;Lecture Notes in Computer Science;2024

3. A Generic Methodology for the Modular Verification of Security Protocol Implementations;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

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

5. Sound Verification of Security Protocols: From Design to Interoperable Implementations;2023 IEEE Symposium on Security and Privacy (SP);2023-05