Similar Items: All-Path Reachability Logic
- Simulating reachability using first-order logic with applications to verification of linked data structures
- Reachability Switching Games
- Reachability under Contextual Locking
- Reachability Analysis of Innermost Rewriting
- Alignment complete relational Hoare logics for some and all
- O-Minimal Hybrid Reachability Games