PAT: Towards Flexible Verification under Fairness
No abstract available.
DOI 10.1007/978-3-642-02658-4_59
Related papers
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- Transition predicate abstraction and fair termination POPL 2005
- On-the-Fly Model Checking Under Fairness That Exploits Symmetry CAV 1997
- Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach CAV 1995
- Fair Operational Semantics PLDI 2023
- Searching for Ribbon-Shaped Paths in Fair Transition Systems TACAS 2022
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017