Formally Verifying a File System: A Successful Failure CSCI-P515/P415 Spring 2008 Michael Adams ([email protected]) Joseph Near ([email protected]) Aaron Kahn ([email protected])…