https://github.com/badboy/learning-tla
Learning TLA+ with "Practical TLA+" by Hillel Wayne
https://github.com/badboy/learning-tla
Last synced: 5 months ago
JSON representation
Learning TLA+ with "Practical TLA+" by Hillel Wayne
- Host: GitHub
- URL: https://github.com/badboy/learning-tla
- Owner: badboy
- Created: 2019-03-24T15:21:22.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-04-09T21:26:28.000Z (about 7 years ago)
- Last Synced: 2025-10-10T17:16:37.140Z (8 months ago)
- Language: TLA
- Size: 428 KB
- Stars: 2
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Learning TLA+
I am now learning [TLA+](https://lamport.azurewebsites.net/tla/tla.html), starting with the book ["Practical TLA+"](https://www.apress.com/gp/book/9781484238288) by [Hillel Wayne](https://www.hillelwayne.com/).
## What is TLA+
To cite [the TLA+ Home Page](https://lamport.azurewebsites.net/tla/tla.html):
> TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. The following are the top-level pages of the web site.
TLA+ was invented and developed by [Leslie Lamport](https://lamport.azurewebsites.net/),
also known for his work on LaTeX & the Paxos algorithm and Turing Award recipient.