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 Symposium on Operating Systems Principles.
No abstract available
# 1st Oct 2015 papers conference formal linux storage systems testing
papers