Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification
No abstract available.
Related papers
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata CAV 2021
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001
- Binary Reachability Analysis of Discrete Pushdown Timed Automata CAV 2000
- Reachability Analysis of the Domain Name System POPL 2025
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- Introspective pushdown analysis of higher-order programs ICFP 2012
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems CAV 2010