Parallel and Distributed Methods in Verification

ČERNÁ, Ivana and Boudewijn HAVERKORT. Parallel and Distributed Methods in Verification. Journal of logic and computation. Oxford: Oxford University Press, 2011, vol. 2011, No 21, p. 1-3. ISSN 0955-792X. Available from: https://dx.doi.org/10.1093/logcom/exp001.

Basic information

Original name

Parallel and Distributed Methods in Verification

Name in Czech

Paralelní a distribuované metody verifikace

Authors

ČERNÁ, Ivana and Boudewijn HAVERKORT

Edition

Journal of logic and computation, Oxford, Oxford University Press, 2011, 0955-792X

---

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

United Kingdom of Great Britain and Northern Ireland

Confidentiality degree

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

Impact factor

Impact factor: 0.611

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.1093/logcom/exp001

UT WoS

000286911500001

Keywords (in Czech)

paralelní a distribuované metody; formální verifikace

Keywords in English

parallel and distributed computations; formal verification

Tags

International impact, Reviewed

---

Abstract

V originále

The paper introduces the PDMC workhshop series and the key ideas behind the parallelization and distribution of formal verification algorithms. Further, it introduces the selection of papers from the workshop series published in the issue.

In Czech

Článek představuje konference PDMC (Parallel and Distributed Methods in verifiCation) a klíčové myšlenky využívané v paralelních a distribuovaných algoritmech pro formální verifikaci systémů. Dále text uvádí vybranou kolekci prací.