Saturn verifier

[Google Scholar]

Notes:
Papers:

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