Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.

Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif

Browse the full IFM paper archive.