package sibylfs

  1. Overview
  2. No Docs
formal specification and oracle-based testing for POSIX file systems

Install

sibylfs.io Edit opam file

Authors

  1. T
    Tom Ridge <tom.j.ridge@googlemail.com>
  2. T
    Thomas Tuerk <tt291@cl.cam.ac.uk>
  3. D
    David Sheets <sheets@alum.mit.edu>
  4. A
    Andrea Giugliano <agiugliano@live.it>

Maintainers

  1. T
    tom.j.ridge@googlemail.com

Sources

0.5.0.tar.gz
md5=3ec26e4dcd63041162473cb15f563a48

Description

SibylFS is a formal specification in Lem of the POSIX file system API and its real-world variations as found in Linux, OS X, and FreeBSD. The specification is executable so that the more than 20,000 test cases do not require inclusion of expected behavior -- the expectation envelope can be automatically extracted and checked against a real file system! SibylFS has found numerous bugs in many different file system, VFS, and libc configurations.

Published: 04 Oct 2015

Dev Dependencies

None

Used by

None

Conflicts

None