Learning Lamport's TLA+ based on various tla-resources including, for example, The TLA+ Hyperbook, The "Specifying Systems" book, The TLA+ Video Course, and many research papers on TLA+.
See roadmap.
It includes:
- tlaplus-seminar
- tlaplus-resources
- Books
- Tutorials
- Video Lectures
- Use Cases
- learning-tlaplus: Code and notes for self-learning
- other-formal-methods: Other formal methods
- tlaplus-projects: Our use of TLA+