SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.

Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett

Browse the full CAV paper archive.