Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

DOI10.1007/978-3-540-71389-0_16zbMath1195.68057OpenAlexW1575423587MaRDI QIDQ5758055

No author found.

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Model Checking Procedural Programs, Reachability on prefix-recognizable graphs, Regular sets over extended tree structures, Domains for Higher-Order Games