SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems presented at SOSP 2015

by Anil Madhavapeddy, David Sheets, Peter Sewell, Tom Ridge, Thomas Tuerk, Andrea Giugliano,

Summary : N/A