Similar Items: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- Reachability Analysis of Communicating Pushdown Systems
- On the Expressive Power of Higher-Order Pushdown Systems
- Reachability Problem for Weak Multi-Pushdown Automata
- Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
- Model-Checking of Ordered Multi-Pushdown Automata
- Weighted Pushdown Systems with Indexed Weight Domains