DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
No abstract available.
Related papers
- Igloo: soundly linking compositional refinement and separation logic for distributed system verification OOPSLA 2020
- How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach OOPSLA 1988
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Formal Models of Distributed Memory Management ICFP 1997
- Reasoning about Weak Isolation Levels in Separation Logic ICFP 2025
- Verdi: a framework for implementing and formally verifying distributed systems PLDI 2015
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025