Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formal Modeling and Analysis of Distributed Systems
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Programming Distributed Systems is Challenging!
- 3 Not uncommon to find bugs in production after deployment
- 4 Formal Methods to the Rescue!
- 5 Thinking abstractly, formally, above coding
- 6 Challenges with wide spread adoption of Formal Methods!
- 7 Formal Reasoning of S3 Strong Consistency Design using P
- 8 Two Phase Commit Protocol
- 9 P Tutorials and Documentation
- 10 Lessons Learned (P as a Thinking Tool)
- 11 Model Checking as a search problem
- 12 How to find deep bugs?
