Overview

This book collects five related, but independent, sets of documentation:

1. The Apalache User Manual. The most often needed chapters:
   • Installation
   • Running the Tool
   • Fine Tuning
2. Apalache Tutorials
3. Apalache HOWTOs
4. A TLA+ Language Reference Manual
5. Guidelines for Idiomatic TLA+