Distributed systems have become a norm in today’s world. Assuring the reliability of such distributed systems is business-critical and safety-critical. The plan is to survey the literature for different classes of distributed systems, the desired properties on them, and mainly to focus on the history and state-of-art approaches for verifying such systems. The talk will be at high-level giving a bird’s-eye view of the research area.
