Formal Methods 3

• TLA+ Data Structures: Sets, Functions, Sequences, Records, and Beyond Apr 24, 2026
• TLA+ in Practice: Refinement, Composition, and Real Protocol Verification Apr 24, 2026
• TLA+ and PlusCal: Formal Verification for Distributed Systems Apr 11, 2026