Login / Signup
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Matthew Hague
C.-H. Luke Ong
Published in:
CoRR (2008)
Keyphrases
</>
higher order
reachability analysis
model checking
expert systems
sufficient conditions
pairwise
distributed systems
computer systems
complex systems