2001 · 95 citations · 5 references
ComputingComputer EngineeringComputer ScienceDistributed SystemsFault-tolerant ComputingFormal MethodsDistributed ComputingFinite State Machine ModelingModel CheckingModel ExecutionReliable Distributed SystemsDistributed Systems VerificationInvariant Checking
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
5
Depth-First Search and Linear Graph Algorithms
Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations
Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations
The Murphi Verification System
David L. Dill · Computer Aided Verification · 1996 · 192 citations
Parallelizing the Murphi Verifier
Ulrich Stern, David L. Dill · Computer Aided Verification · 1997 · 135 citations
Parallelizing the Murφ Verifier
Ulrich Stern, David L. Dill · 1997 · 13 citations