Storage Systems are Distributed Systems (So Verify Them That Way!).

Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno

Browse the full OSDI paper archive.