Distributed LTL model-checking in SPIN
Jǐŕı Barnat, Luboš Brim, Jitka Stříbrná · 2001
Abstract. In this paper we propose a distributed algorithm for model-checking LTL. In particular, we explore the possibility of performing nested depth-rst search algorithm in distributed SPIN. A distributed version of the algorithm is presented, and its complexity is discussed. 1