BRIM, Luboš and Orna GRUMBERG. Introductory paper: Parallel and Distributed Model Checking. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2005, vol. 7, No 1, p. 1-3. ISSN 1433-2779.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/05:00012428
Organization unit Faculty of Informatics
Keywords in English model-checking
Tags Model-Checking
Tags International impact
Changed by Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 22/11/2006 08:32.
Abstract
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.
Abstract (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 projectName: 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 projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 27/4/2024 04:24