Abstraction for Branching Time Properties
No abstract available.
Related papers
- Branching Bisimulation Learning CAV 2025
- The Temporal Logic of Branching Time POPL 1981
- An Abstract Interpretation Perspective on Linear vs. Branching Time APLAS 2005
- An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) CAV 1994
- Adventures in monitorability: from branching to linear time and back again POPL 2019
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- ESP: Path-Sensitive Program Verification in Polynomial Time PLDI 2002