Formal specification of WiredTiger's storage API, along with tools for automated, model-based test case generation. - View it on GitHub