Login / Signup

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

Matthew HagueC.-H. Luke Ong
Published in: FoSSaCS (2007)
Keyphrases
  • higher order
  • reachability analysis
  • complex systems
  • pairwise
  • real time
  • probability distribution
  • model checking