homeAnil Madhavapeddy, Professor of Planetary Computing

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

Paper on formal specificaiton and testing of filesystems at SOSP 2015

# 1st Oct 2015 iconpapers conference formal linux storage systems testing