Argosy: verifying layered storage systems with recovery refinement.

Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich

Browse the full PLDI paper archive.