Login / Signup

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

Silvio GhilardiSilvio Ranise
Published in: Log. Methods Comput. Sci. (2010)
Keyphrases
  • management system
  • knowledge based systems
  • search algorithm
  • lower bound
  • building blocks
  • retrieval systems
  • bi directional