Modular State Level Analysis of Distributed Systems Techniques and Tool Support
Abstract elided by the publisher.
Related papers
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- A Modular Static Cost Analysis for GPU Warp-Level Parallelism POPL 2026
- Mace: language support for building distributed systems PLDI 2007
- Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems TOPLAS 1988
- Multitier Modules ECOOP 2019
- PASTA: A Modular Program Analysis Tool Framework for Accelerators CGO 2026
- Leveraging rust types for modular specification and verification OOPSLA 2019
- Asynchronous programming, analysis and testing with state machines PLDI 2015