D
2002
Property Driven Distribution of Nested DFS
BARNAT, Jiří, Luboš BRIM and Ivana ČERNÁ
Basic information
Original name
Property Driven Distribution of Nested DFS
Edition
Pittsburgh, PA, USA, M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, p. 1-10, 2002
Publisher
Dept. of Electronics and Computer Science, University of Southampton
Other information
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
United Kingdom of Great Britain and Northern Ireland
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/02:00006603
Organization unit
Faculty of Informatics
Keywords in English
model-checking; distributed model-checking; verification; verification tool
V originále
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.
Links
| GA201/00/1023, research and development project | | Name: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů | | Investor: Czech Science Foundation, Algorithms and tools for practical verification of concurrent systems. |
|
| MSM 143300001, plan (intention) | | Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů | | Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing |
|
Displayed: 5/11/2024 06:56