Ferrite, a toolkit for developing file system crash-consistency models - View it on GitHub