Demonstration of the Cosette Automated SQL Prover

Article Details
Title:	Demonstration of the Cosette Automated SQL Prover
Article URLs:	https://doi.org/10.1145/3035918.3058728
Alternative Article URLs:
Authors:	Shumo Chu	University of Washington
	Daniel Li	University of Washington
	Chenglong Wang	University of Washington
	Alvin Cheung	University of Washington
	Dan Suciu	University of Washington
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://cosette.cs.washington.edu
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1546083, 1614738, 1535565, 1563788
DBLP Key:	conf/sigmod/ChuLWCS17
Author Comments:

ACM International Conference on Management of Data, SIGMOD 2017