Publication details
Property Driven Distribution of Nested DFS
| Basic information | |
|---|---|
| Original title: | Property Driven Distribution of Nested DFS |
| Authors: | Jiří Barnat, Luboš Brim, Ivana Černá |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří  - BRIM, Luboš - ČERNÁ, Ivana. Property Driven Distribution of Nested DFS. In M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA : Dept. of Electronics and Computer Science, University of Southampton, 2002. pp. 1-10. 2002, Pittsburgh, PA, USA, October 2002. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | model-checking; distributed model-checking; verification; verification tool |
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.
Related projects:
- Algorithms and tools for practical verification of concurrent systems.
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
