Priorities for Modeling and Verifying Distributed Systems
No abstract available.
Related papers
- Priority Scheduling of Distributed Systems Based on Model Checking CAV 2009
- Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation OOPSLA 2022
- Responsive Parallelism with Synchronization PLDI 2023
- Model Checking Distributed Protocols in Must OOPSLA 2024
- Verdi: a framework for implementing and formally verifying distributed systems PLDI 2015
- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems ESOP 2018
- The pitfalls of verifying floating-point computations TOPLAS 2008
- Responsive Parallelism with Dynamic and First-Class Priorities PLDI 2026