| ŽÍDKOVÁ, Jitka. Using Assumptions to Distribute Model Checking. In Počítačové Architektury & Diagnostika. Brno, Česká republika: Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů, 2003, p. 73-78. ISBN 80-214-2471-0. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{489735,
author = {Žídková, Jitka},
address = {Brno, Česká republika},
booktitle = {Počítačové Architektury & Diagnostika},
keywords = {verification; model checking; distribution},
language = {eng},
location = {Brno, Česká republika},
isbn = {80-214-2471-0},
pages = {73-78},
publisher = {Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů},
title = {Using Assumptions to Distribute Model Checking},
year = {2003}
}
TY - JOUR
ID - 489735
AU - Žídková, Jitka
PY - 2003
TI - Using Assumptions to Distribute Model Checking
PB - Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů
CY - Brno, Česká republika
SN - 8021424710
KW - verification
KW - model checking
KW - distribution
N2 - Our work focuses on distributing model checking, which is probably the most widely used verification technique. We propose a framework that allows to distribute various model checking algorithms. The state space is divided into fragments and we use assumptions to represent missing parts of the verified system on each computer. Formal correctness proof of the scheme and experimental results has been given as well.
ER -
ŽÍDKOVÁ, Jitka. Using Assumptions to Distribute Model Checking. In \textit{Počítačové Architektury \&{} Diagnostika}. Brno, Česká republika: Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů, 2003, p.~73-78. ISBN~80-214-2471-0.
|
