Distributed LTL Model-Checking in SPIN

BARNAT, Jiří, Luboš BRIM a Jitka STŘÍBRNÁ. Distributed LTL Model-Checking in SPIN. In M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop. Toronto, Canada: Springer Verlag, 2001, s. 200-215. ISBN 3-540-42124-6.

Základní údaje

Originální název

Distributed LTL Model-Checking in SPIN

Autoři

BARNAT, Jiří (203 Česká republika, garant), Luboš BRIM (203 Česká republika) a Jitka STŘÍBRNÁ (203 Česká republika)

Vydání

Toronto, Canada, M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, s. 200-215, 2001

Nakladatel

Springer Verlag

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Kanada

Utajení

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

Kód RIV

RIV/00216224:14330/01:00004189

Organizační jednotka

Fakulta informatiky

ISBN

3-540-42124-6

Klíčová slova anglicky

model-checking; verification; verification tool

Štítky

Model-Checking, verification, verification tool

---

Anotace

V originále

In this paper we propose a distributed algorithm for model-checking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in distributed SPIN. A distributed version of the algorithm is presented, and its complexity is discussed.

---

Návaznosti

GA201/00/1023, projekt VaV	Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžný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ů