File Systems

MCFS (Model Checking File System)

A model checking framework for checking and verifying file systems