Finding Non-terminating Executions in Distributed Asynchronous Programs
No abstract available.
Related papers
- Verifying liveness for asynchronous programs POPL 2009
- Lifeline-based global load balancing PPoPP 2011
- Verifying Almost-Sure Termination for Randomized Distributed Algorithms POPL 2026
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- Pretend synchrony: synchronous verification of asynchronous distributed programs POPL 2019
- Message Chains for Distributed System Verification OOPSLA 2023
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- An Implementation for Complete, Asynchronous, Distributed Garbage Collection PLDI 1998