Sciweavers

SPIN
2001
Springer

Distributed LTL Model-Checking in SPIN

14 years 4 months ago
Distributed LTL Model-Checking in SPIN
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in distributed SPIN. A distributed version of the algorithm is presented, and its complexity is discussed.
Jiri Barnat, Lubos Brim, Jitka Stríbrn&aacu
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SPIN
Authors Jiri Barnat, Lubos Brim, Jitka Stríbrná
Comments (0)