On Reducing the Global State Graph for Verification of Distributed Computations

Abstract

Correct distributed programs are very hard to write and reason about. Verification of distributed programs with respect to their specifications is thus very important to ensure that a distributed system works as expected. Model checking has emerged as a technique used to verify the correctness of programs. However model checking techniques suffer from the… (More)

Topics

8 Figures and Tables

Slides referencing similar topics