Problems
A collection of TLA+ problems spanning a range of difficulties. Work through these problems in any order to sharpen your specification skills.
| # | Name | Status | Difficulty |
|---|---|---|---|
| 0 | Traffic Light | Unsolved | Easy |
| 1 | Count to Ten | Unsolved | Easy |
| 2 | Simple Stack | Unsolved | Easy |
| 3 | Bit Flags | Unsolved | Easy |
| 4 | Set Cardinality | Unsolved | Easy |
| 5 | Bridge Crossing | Unsolved | Medium |
| 6 | Selection Sort | Unsolved | Medium |
| 7 | Die Really Hard | Unsolved | Medium |
| 8 | Producer and Consumer | Unsolved | Medium |
Beginner's Guide
A guided introduction to TLA+ for those starting from zero. These problems are designed to build the foundational TLA+ concepts step by step.
| # | Name | Status | Difficulty |
|---|---|---|---|
| 0 | Hello | Unsolved | Easy |