Fizzbee

A formal specification language and model checker to specify distributed systems.

Try out now at Fizzbee Online Playground. No installation needed.

Documentation

• Tutorials — start with Getting Started
• Language Reference — source: examples/references/LANGUAGE_REFERENCE.md
• Examples and the pattern library (two-phase commit, saga, leader election, …) — source specs: examples/references/
• Guides: Verification, Performance, Gotchas

Installation

On Mac, with brew:

brew tap fizzbee-io/fizzbee
brew install fizzbee

Alternately, prebuilt binaries are available for macOS and Linux. Please…