Scalable Distributed Model Checking: Experiences, Lessons, and Expectations

Abstract In recent years a lot of effort has been put into using parallel and distributed environments to solve the computational and space complexity bottlenecks in model checking systems. In this talk we will survey early efforts, trying to pinpoint the reasons for their limited success. We will then outline the evolution of a method that did succeed in making its way into industrial tools, its current status, and its roadmap given existing technological trends. Finally, we will describe the high-performance platforms on the horizon and their impact on the design of scalable distributed model checking software.