The Verification of a Distributed System

A SkillsCast for this session is not available.

Distributed Systems are difficult to build and test for two main reasons: partial failure & asynchrony. These two realities of distributed systems must be addressed to create a correct system, and often times the resulting systems have a high degree of complexity. Because of this complexity, testing and verifying these systems is critically important. In this talk we will discuss strategies for proving a system is correct, like formal methods, and less strenuous methods of testing which can help increase our confidence that our systems are doing the right thing

YOU MAY ALSO LIKE:

• The Science of Queues: Performance Monitoring for Themes Parks and Distributed Systems (SkillsCast recorded in December 2020)
• Solving Problems like a Game Designer (SkillsCast recorded in December 2020)