model-checking 6
- TLC Performance and State Space Management: Every Optimization Technique
- Raw TLA+ Essentials: The Complete Guide to Writing Specs Without PlusCal
- PlusCal Essentials: The Complete Guide to Modeling Concurrent Systems
- TLA+ Data Structures: Sets, Functions, Sequences, Records, and Beyond
- TLA+ in Practice: Refinement, Composition, and Real Protocol Verification
- TLA+ and PlusCal: Formal Verification for Distributed Systems