Documents Related by Co-Citation

12 A Proof-Producing Boolean Search Engine – Clark Barrett, Sergey Berezin - 2003
5 Integrating a SAT Solver with an LCF-style Theorem Prover – Tjark Weber - 2005
17 Faster Proof Checking in the Edinburgh Logical Framework – Aaron Stump, David L. Dill - 2002
23 Cooperating theorem provers: A case study combining HOL-Light and CVC Lite – Sean Mclaughlin, Clark Barrett, Yeting Ge - 2006
13 Rocket-fast proof checking for SMT solvers – M Moskal - 2008
70 HOL Light: A tutorial introduction – John Harrison - 1996
80 The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org – C Barrett, A Stump, C Tinelli - 2010
17 Towards Self-verification of HOL Light – John Harrison - 2006