This directory contains the formal specs for SlateDB using the [FizzBee model checker](https://fizzbee.io).


More about the tool and the instructions: [Run the model checker](https://github.com/fizzbee-io/fizzbee?tab=readme-ov-file#run-a-model-checker)

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

```
fizz specs/kvstore/KeyValueStore.fizz
```