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