J 2004

Parallel Model-Checking

BRIM, Luboš

Základní údaje

Originální název

Parallel Model-Checking

Název česky

Paralelní ověřování modelu

Název anglicky

Parallel Model-Checking

Autoři

BRIM, Luboš (203 Česká republika, garant)

Vydání

ERCIM News, ERCIM EEIG, 2004, 0926-4981

Další údaje

Jazyk

čeština

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14330/04:00010182

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Model Checking

Štítky

Příznaky

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

Anotace

ORIG EN

V originále

A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.

Anglicky

A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.

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ů