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