Using Assumptions to Distribute Model Checking

ŽÍ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.

Základní údaje

Originální název

Using Assumptions to Distribute Model Checking

Autoři

ŽÍDKOVÁ, Jitka (203 Česká republika, garant)

Vydání

Brno, Česká republika, Počítačové Architektury & Diagnostika, od s. 73-78, 6 s. 2003

Nakladatel

Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/03:00008254

Organizační jednotka

Fakulta informatiky

ISBN

80-214-2471-0

Klíčová slova anglicky

verification; model checking; distribution

Štítky

distribution, Model checking, verification

---

Anotace

V originále

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ávaznosti

GA201/03/0509, projekt VaV	Název: Automatizovaná verifikace paralelních a distribuovaných systémů Investor: Grantová agentura ČR, Automatizovaná verifikace paralelních a distribuovaných systémů
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů