Formal Modeling and Analysis of Distributed Systems
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.