Login / Signup
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.
Matthew Hague
C.-H. Luke Ong
Published in:
FoSSaCS (2007)
Keyphrases
</>
higher order
reachability analysis
complex systems
pairwise
real time
probability distribution
model checking