• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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