> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/computer-science/formal-verification/tla.md).

# TLA+

## Books

* [Practical TLA+: Planning Driven Development by Hillel Wayne](https://www.goodreads.com/book/show/42389860-practical-tla)

## Links

* [Using formal methods at Amazon](https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf)