Using Crash Hoare Logic for Certifying the FSCQ File System

No ratings

Presented at SOSP 2015 by

Nickolai Zeldovich

M. Kaashoek

Adam Chlipala

Haogang Chen

Tej Chajed

Daniel Ziegler

N/A