Using Assumptions to Distribute Model Checking
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F03%3A00008254" target="_blank" >RIV/00216224:14330/03:00008254 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Using Assumptions to Distribute Model Checking
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Using Assumptions to Distribute Model Checking
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automatizovaná verifikace paralelních a distribuovaných systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Počítačové Architektury & Diagnostika
ISBN
80-214-2471-0
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
73-78
Název nakladatele
Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů
Místo vydání
Brno, Česká republika
Místo konání akce
Zvíkovské Podhradí
Datum konání akce
24. 9. 2003
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—