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

YouTube

Formal Modeling and Analysis of Distributed Systems

Strange Loop Conference via YouTube

Overview

Explore formal modeling and analysis techniques for distributed systems in this conference talk from Strange Loop 2022. Learn how the P programming framework addresses the challenges of designing, implementing, and testing complex distributed systems. Discover how formal methods can be integrated into all phases of the development process, from system design to production monitoring. Gain insights into the application of P in industry and academia, including its use in Amazon Web Services' S3 Strong Consistency project. Understand the importance of abstract thinking and formal reasoning in tackling the complexities of distributed systems programming. Delve into topics such as the Two Phase Commit Protocol, model checking as a search problem, and strategies for uncovering deep bugs in distributed systems.

Syllabus

Intro
Programming Distributed Systems is Challenging!
Not uncommon to find bugs in production after deployment
Formal Methods to the Rescue!
Thinking abstractly, formally, above coding
Challenges with wide spread adoption of Formal Methods!
Formal Reasoning of S3 Strong Consistency Design using P
Two Phase Commit Protocol
P Tutorials and Documentation
Lessons Learned (P as a Thinking Tool)
Model Checking as a search problem
How to find deep bugs?

Taught by

Strange Loop Conference

Reviews

Start your review of Formal Modeling and Analysis of Distributed Systems

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.