Acknowledgments

Related Links

CVC3 extensions

CVCHOL - translator from CVC3 proofs to HOL Light proofs.

Satisfiability Modulo Theories

SMT-LIB Initiative
SMT-COMP Competition
SMT-EXEC Service
PDPAR Workshops: 2003 2004 2005 2006
SMT Workshops: 2007 2008 2009

*VC Systems

SVC
CVC
CVC Lite

Other

NYU Analysis of Computer Systems Group
Cesare Tinelli's page at University of Iowa
Stanford Formal Verification Group