# Design Verification

> Learn FizzBee, a Python-like language for formal specification and model checking. Explore tutorials, worked examples, and guides to verifying distributed systems.

Canonical: https://fizzbee.io/design/


- [Tutorials](/design/tutorials/)
- [Examples](/design/examples/)
- [Distributed Systems Patterns](/design/patterns/)