Formal Verification of a Concurrent File System CS Department Colloquium Series Tej Chajed, Massachusetts Institute of Technology April 04 12:30 pm Computer Science Building, 105 See event website for additional details and how to view or participate.