Tla Articles

Page 1 of 1 (4 articles)

8/13/2025 • EN

Explores the concepts of knowledge and common knowledge in distributed systems, starting with the classic muddy children puzzle.

Common Knowledge distributed systems Epistemology Raft Tla

6/3/2025 • EN

MongoDB engineers explain how they test their distributed system implementations against formal TLA+ specifications to ensure correctness.

Conformance Checking Distributed Algorithms formal verification Model Checking Tla

5/10/2025 • EN

Explores extending TLA+ for performance modeling using queueing theory and simulation, moving beyond just correctness verification.

distributed systems Formal Methods Performance Modeling Queueing Theory Tla

5/8/2025 • EN

Summary of talks from the 2025 TLA+ Community Event, focusing on formal methods and model-guided fuzzing for distributed systems.

distributed systems Formal Methods Fuzzing Model Checking Tla

Select Language