Toggle navigation
15-811: Verifying Complex Systems
Home
Syllabus
Schedule
Tools
Assignments
Projects
17sp
Lecture: Databases: Cosette
Date: 4/24/17
Reading
Required reading:
Cosette: An Automated Prover for SQL
, Shumo Chu, Chenglong Wang, Konstantin Weitz, and Alvin Cheung,
CIDR
, 2017.