ŽÍ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, s. 73-78. ISBN 80-214-2471-0. |
Další formáty:
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, s.~73-78. ISBN~80-214-2471-0.
|