Global Reachability in Bounded Phase Multi-stack Pushdown Systems
No abstract available.
DOI 10.1007/978-3-642-14295-6_53
Related papers
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- Reachability in Continuous Pushdown VASS POPL 2024
- Android Stack Machine CAV 2018
- Introspective pushdown analysis of higher-order programs ICFP 2012
- Reachability for Dynamic Parametric Processes VMCAI 2017
- Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata CAV 2021
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019