Automated Resource Analysis with Coq Proof Objects

Article Details
Title:	Automated Resource Analysis with Coq Proof Objects
Article URLs:	https://doi.org/10.1007/978-3-319-63390-9_4
Alternative Article URLs:	http://www.cs.yale.edu/homes/qcar/data/aracoq.pdf https://www.cs.cmu.edu/~janh/papers/CarbonneauxHRS17.pdf
Authors:	Quentin Carbonneaux	Yale University, Computer Science
	Jan Hoffmann	Carnegie Mellon University, Computer Science
	Thomas W. Reps	University of Wisconsin - Madison GrammaTech, Inc.
	Zhong Shao	Yale University, Computer Science
Sharing:	Not able to share 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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1521523, 1319671
DBLP Key:	conf/cav/Carbonneaux0RS17
Author Comments:

Computer Aided Verification, CAV 2017