Toggle navigation
15-811: Verifying Complex Systems
Home
Syllabus
Schedule
Tools
Assignments
Projects
17sp
Lecture: File Systems: Push-Button
Date: 2/22/17
Reading
Required reading:
Push-Button Verification of File Systems via Crash Refinement
, Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang,
OSDI
, 2016.