SMT proof checking using a logical framework – Related Work – Interesting papers

SMT proof checking using a logical framework

Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli
[doi] [Google Scholar] [DBLP] [Citeseer]

Formal Methods in System Design 42(1)
Springer
Pages 91-118
2013
Note(s): SMT solver
Papers: brummayer:sat:2010, mansur:arxiv:2020, barrett:mlf:2015

Proofs in satisfiability modulo theories [barrett:mlf:2015]
Automated testing and debugging of SAT and QBF solvers [brummayer:sat:2010]
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing [mansur:arxiv:2020]

The opinions expressed are my own views and not my employer’s.