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

Start learning Write review
CodeSignal Ad

2,000+ Free Courses with Certificates: Coding, AI, SQL, and More

Learn More → DataCamp Ad

AI Engineer - Learn how to integrate AI into software applications

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk presents formal methods for designing, implementing, testing, and monitoring distributed systems. It introduces the state machine-based P programming framework and shows how model checking can find deep bugs.

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

Tags

Reviews

Start your review of Formal Modeling and Analysis of Distributed Systems

Start learning

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.