Saturn verifier

[Google Scholar]

Notes:
Papers:
  • Scalable error detection using boolean satisfiability [xie:popl:2005]