Ferrite, a toolkit for developing file system crash-consistency models
Racket Python CSS Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
blkenum
dafny
rosette
www
.hook.yaml
LICENSE
README.md
circle.yml

README.md

Ferrite

Circle CI

Ferrite is a toolkit for developing file system crash-consistency models, as described in our ASPLOS'16 paper Specifying and Checking File System Crash-Consistency Models.

This repository contains the Ferrite toolkit for developing crash-consistency models, and proof-of-concept verification and synthesis tools that use the resulting models.