Login / Signup

Efficient guided symbolic reachability using reachability expressions.

Dina ThomasSupratik ChakrabortyParitosh K. Pandya
Published in: Int. J. Softw. Tools Technol. Transf. (2008)
Keyphrases
  • state space
  • wide range
  • transitive closure
  • database
  • lightweight
  • computationally expensive
  • metadata
  • dynamic programming
  • highly efficient