xiaoxiaoei/tlaplus-at-nju-disalg

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

tlaplus-lamport-projects

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+