This directory contains the formal specs for SlateDB using the FizzBee model checker.

More about the tool and the instructions: Run the model checker

Once installed from source and set the PATH, you can run with

fizz specs/kvstore/KeyValueStore.fizz