Login / Signup

On Removing the Pushdown Stack in Reachability Constructions.

Oscar H. IbarraZhe Dang
Published in: ISAAC (2001)
Keyphrases
  • state space
  • model checking
  • transitive closure
  • domain knowledge
  • multi dimensional
  • expressive power