SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
BetrFS: a right-optimized write-optimized file system