BRIM, Luboš a Jiří BARNAT. Distribution of Explicit-State LTL Model-Checking. Editors Thomas Arts, Wan Fokking. Electronic Notes in Theoretical Computer Science, Elsevier Science, 2003, Volume 80, č. 1, s. 120-125.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Distribution of Explicit-State LTL Model-Checking
Autoři BRIM, Luboš (203 Česko, garant) a Jiří BARNAT (203 Česko).
Editors Thomas Arts, Wan Fokking.
Vydání Electronic Notes in Theoretical Computer Science, Elsevier Science, 2003.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemsko
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/03:00008591
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky model-checking; distribution; verification
Štítky distribution, Model-Checking, verification
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Anotace
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 VaVNázev: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNá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, Výzkumné záměry
VytisknoutZobrazeno: 3. 7. 2020 23:17