J 2005

Introductory paper: Parallel and Distributed Model Checking

BRIM, Luboš a Orna GRUMBERG

Základní údaje

Originální název

Introductory paper: Parallel and Distributed Model Checking

Název česky

Úvodní článek: Paralelní a distribuované ověřování modelu

Autoři

BRIM, Luboš (203 Česká republika, garant) a Orna GRUMBERG (376 Izrael)

Vydání

International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, 2005, 1433-2779

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

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

Kód RIV

RIV/00216224:14330/05:00012428

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

model-checking

Štítky

Příznaky

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

Anotace

ORIG CZ

V originále

This special section is devoted to a selection of contributions originally presented at the 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), which took place in Brno, Czech Republic in September 2002 as a satellite event of the 13th conference on concurrency theory (CONCUR 2002). A short introduction to parallel and distributed model checking is presented.

Česky

Speciální číslo věnované vybraným příspěvkům z mezinárodního workshopu PDMC 2002. Článek podává stručný úvod do problematiky.

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ů
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky