# Tutorials

> Learn FizzBee step by step: your first specification, then guards, fairness and liveness, roles, channels and fault injection. No prior formal methods experience needed.

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


- [Quick Start: Modeling and Validating Distributed Systems in FizzBee](/design/tutorials/quick-start/)
- [Getting Started](/design/tutorials/getting-started/)
- [Guard Clauses And Enabling Conditions](/design/tutorials/guard-clause/)
- [Config and Front Matter](/design/tutorials/frontmatter/)
- [Liveness and Fairness](/design/tutorials/liveness/)
- [Enums, Records, and Collections](/design/tutorials/datastructures/)
- [Modeling msg delivery guarantees](/design/tutorials/msg-delivery-guarantees/)
- [Actors / Roles](/design/tutorials/roles/)
- [Channels](/design/tutorials/channels/)
- [Implicit Fault Injection](/design/tutorials/fault-injection/)
- [Symmetry Reduction](/design/tutorials/symmetry_reduction/)
- [Probabilistic Modeling](/design/tutorials/probabilistic-modeling/)
- [Performance Modeling](/design/tutorials/performance-modeling/)
- [Whiteboard Visualizations](/design/tutorials/visualizations/)
- [Current Limitations](/design/tutorials/limitations/)