Using model checking to find serious file system errors

  title={Using model checking to find serious file system errors},
  author={Junfeng Yang and Paul Twohey and Dawson R. Engler and Madan Musuvathi},
  booktitle={ACM Trans. Comput. Syst.},
This article shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined by a system. File systems have two dynamics that make them attractive for such an approach. First, their errors are some of the most serious, since they can destroy persistent data and lead to unrecoverable corruption. Second, traditional testing needs an impractical… CONTINUE READING
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 324 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 230 extracted citations

325 Citations

Citations per Year
Semantic Scholar estimates that this publication has 325 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…