Detecting Unrealizable Specifications of Distributed Systems
No abstract available.
Related papers
- Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction TACAS 2025
- Synthesizing Approximate Implementations for Unrealizable Specifications CAV 2019
- Interpolation-Based GR(1) Assumptions Refinement TACAS 2017
- Unrealizability Logic POPL 2023
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse OOPSLA 2026
- Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs OOPSLA 2024
- Gist: A Solver for Probabilistic Games CAV 2010
- Detecting problematic message sequences and frequencies in distributed systems OOPSLA 2012