SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Tom Ridge, , , Andrea Giugliano, Anil Madhavapeddy, and Peter Sewell.
Paper in the proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP).
No abstract available