Detailed Information on Publication Record
2002
Distributed Modular Model Checking
CRHOVÁ, JitkaBasic information
Original name
Distributed Modular Model Checking
Authors
CRHOVÁ, Jitka
Edition
Edinburgh, 2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium, p. 17-21, 2002
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
20206 Computer hardware and architecture
Country of publisher
United Kingdom of Great Britain and Northern Ireland
Confidentiality degree
není předmětem státního či obchodního tajemství
Organization unit
Faculty of Informatics
Keywords in English
formal methods; distributed model checking; modular model checking
Změněno: 16/1/2003 15:41, Mgr. Jitka Žídková
Abstract
V originále
A distributed model checking algorithm is presented. It is designed to be run on a network of workstations that communicate via message passing. The algorithm handles large state spaces by partitioning them into smaller units. Such a partition of state space into partial state spaces can be employed to perform several smaller verification problems independently on several computers increasing thus not only speeding up the verification, but most importantly the available memory. We also suggest partition function that can be used as input to the ditributed algorithm. For software systems a quite successful approach is to partition them following the syntactical structure of the program. Other state based temporal logics and various model checking algorithms can be adapted easily as well.
Links
| GA201/00/1023, research and development project |
| ||
| MSM 143300001, plan (intention) |
|