J 2003

Distribution of Explicit-State LTL Model-Checking

BRIM, Luboš a Jiří BARNAT

Základní údaje

Originální název

Distribution of Explicit-State LTL Model-Checking

Autoři

BRIM, Luboš (203 Česká republika, garant) a Jiří BARNAT (203 Česká republika)
Editors Thomas Arts, Wan Fokking.

Vydání

Electronic Notes in Theoretical Computer Science, Elsevier Science, 2003

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14330/03:00008591

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

model-checking; distribution; verification

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.

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ů