2002 · 37 citations · 0 references
ComputingComputer ScienceComputer SystemsAlgorithmsDistributed SystemsFormal MethodsAutomata TheoryAutomated ReasoningDistributed AlgorithmsDistributed ComputingFinite State Machine ModelingModel CheckingAutomata In Formal VerificationDepth-first SearchDistributed AutomataDistributed Systems VerificationStrongly Connected Components
In this paper we propose a distributed algorithm for model-checking LTL formulas that works on a network of workstations and effectively uses the decomposition of the formula automaton to strongly connected components to achieve more efficient distribution of the verification problem. In particular, we explore the possibility of performing a distributed nested depth-first search algorithm.