Formal Verification of a Concurrent File System

Tej Chajed, Massachusetts Institute of Technology

See event website for additional details and how to view or participate.