SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. - Tom Ridge; David Sheets; Thomas Tuerk; Andrea Giugliano; Anil Madhavapeddy; Peter Sewell (SOSP, 2015)

Towards verified file systems. - Andrea Giugliano (2018)