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

Back to the future: revisiting precise program verification using SMT solvers.

Shuvendu K. LahiriShaz Qadeer
Published in: POPL (2008)
Keyphrases
  • long term
  • search algorithm
  • modulo theories
  • real world
  • case study
  • information technology
  • logic programs
  • highly accurate
  • statistical machine translation
  • predicting future
  • quantified boolean formulas