Awesome TLA+

Awesome list for TLA+ and related - WIP

Contents

• Software
• Books
• Resources
• Specifications

Software

Specifications

Books

Blogposts

Tutorials

Other resources (podcasts, operas, ...)

Communities / Mailing lists /

• TLA+ Google Group
• TLA+ subreddit

Courses / Workshops / Training / Conferences

Related awesome lists

Other

Contributing

License