Building Confidence in Concurrent Code with a Model Checker

Explore the power of model-checking to enhance concurrent system design in this conference talk from NDC London 2023. Discover how TLA+, a robust design and model-checking system, can detect potential concurrency errors at the design stage, significantly boosting confidence in your code. Learn why traditional quality assurance practices like unit testing and code review may fall short when dealing with concurrent systems, and how model-checking can fill this gap. Gain insights into demystifying TLA+ and its practical application in identifying subtle and serious bugs that conventional methods might miss. Understand how this approach can save time during development and reduce frustration in later stages of the project.

Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023