These pages are documentation for the SibylFS project.

These pages document how to use SibylFS. The paper "SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems" should be read first, particularly sections 1 and 2 which give background and an overview of the system, and section 6 which describes the test suite and harness.


SibylFS is hosted on GitHub, see Read the installation instructions for guidance on how and when to install from source.


Binaries can be downloaded from GitHub. See installation for further instructions.

Test suite

The test suite is available from GitHub. See here for further instructions.



This documentation lives in the repository (subdirectory www). The pages are generated from Markdown, using gitbook

results matching ""

    No results matching ""