BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. 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, s. 1-10. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{406260, author = {Barnat, Jiří and Brim, Luboš and Černá, Ivana}, address = {Pittsburgh, PA, USA}, booktitle = {M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic}, keywords = {model-checking; distributed model-checking; verification; verification tool}, language = {eng}, location = {Pittsburgh, PA, USA}, pages = {1-10}, publisher = {Dept. of Electronics and Computer Science, University of Southampton}, title = {Property Driven Distribution of Nested DFS}, year = {2002} }
TY - JOUR ID - 406260 AU - Barnat, Jiří - Brim, Luboš - Černá, Ivana PY - 2002 TI - Property Driven Distribution of Nested DFS PB - Dept. of Electronics and Computer Science, University of Southampton CY - Pittsburgh, PA, USA KW - model-checking KW - distributed model-checking KW - verification KW - verification tool N2 - 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. ER -
BARNAT, Jiří, Luboš BRIM a Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In \textit{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, s.~1-10.
|