Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.

Matthew Hague C.-H. Luke Ong

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

higher order
reachability analysis
distributed systems
model checking
complex systems
xml documents
management system
low cost
contextual information