Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Building Confidence in Concurrent Code with a Model Checker

NDC Conferences via YouTube

Overview

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.

Syllabus

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

Taught by

NDC Conferences

Reviews

Start your review of Building Confidence in Concurrent Code with a Model Checker

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.