Verification of Fair Transisiton Systems
No abstract available.
Related papers
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Almost Fair Simulations ICFP 2025
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- PAT: Towards Flexible Verification under Fairness CAV 2009
- Reducing liveness to safety in first-order logic POPL 2018
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Searching for Ribbon-Shaped Paths in Fair Transition Systems TACAS 2022