Chapter 9 Reference 129
Multi-Grained Specifications for Distributed System Model Checking and Verification
Open the original at arxiv.org Read the full text hereRepublished under its CC BY 4.0 licence.
As cited in DDIA
Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu. "Multi-Grained Specifications for Distributed System Model Checking and Verification." At 20th European Conference on Computer Systems (EuroSys), March 2025. doi:10.1145/3689031.3696069
How the page describes itself
[2409.14301] Multi-Grained Specifications for Distributed System Model Checking and Verification
Abstract page for arXiv paper 2409.14301: Multi-Grained Specifications for Distributed System Model Checking and Verification
From the page's own metadata at arxiv.org, 2026-08-29.
Link check
- Status
- Link checked and reachable (HTTP 200)
- Format
- text/html
- Size
- 0.0 MB
- Last checked
- 2026-08-29