J 2005

Introductory paper: Parallel and Distributed Model Checking

BRIM, Luboš and Orna GRUMBERG

Basic information

Original name

Introductory paper: Parallel and Distributed Model Checking

Name in Czech

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

Authors

BRIM, Luboš (203 Czech Republic, guarantor) and Orna GRUMBERG (376 Israel)

Edition

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

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/05:00012428

Organization unit

Faculty of Informatics

Keywords in English

model-checking

Tags

Tags

International impact
Změněno: 22/11/2006 08:32, prof. RNDr. Luboš Brim, CSc.

Abstract

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.

In Czech

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.

Links

GA201/03/0509, research and development project
Name: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Czech Science Foundation, Automated Verification of Parallel and Distributed Systems
MSM0021622419, plan (intention)
Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1M0545, research and development project
Name: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science