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

YouTube

Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022

Code Sync via YouTube

Overview

Explore the power of formal methods in distributed computing through this Lambda Days 2022 conference talk by Thomas Gebert, a lecturer at CUNY CityTech. Discover how TLA+ can be used to predict and prevent chaos in complex systems, moving beyond untestable whiteboard drawings and ad-hoc scripts. Learn why formal methods are crucial for designing robust distributed systems and how they can help you avoid late-night emergencies. Gain insights into the importance of using blueprints in software design, much like in architecture, and understand how TLA+ serves as an effective tool for implementing formal methods. Delve into practical applications that demonstrate how proper use of formal methods can significantly improve system reliability and reduce the likelihood of unexpected failures.

Syllabus

Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert | Lambda Days 2022

Taught by

Code Sync

Reviews

Start your review of Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022

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.