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

Article Details
Title:	SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Article URLs:	https://doi.org/10.1007/978-3-319-63390-9_7
Alternative Article URLs:
Authors:	Burak Ekici	University of Iowa
	Alain Mebsout	University of Iowa
	Cesare Tinelli	University of Iowa
	Chantal Keller	Univ. Paris-Sud, LRI
	Guy Katz	Stanford University
	Andrew Reynolds	University of Iowa
	Clark W. Barrett	University of Iowa
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://smtcoq.github.io/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/EkiciMTKKRB17
Author Comments:

Computer Aided Verification, CAV 2017