J 2011

Parallel and Distributed Methods in Verification

ČERNÁ, Ivana a Boudewijn HAVERKORT

Základní údaje

Originální název

Parallel and Distributed Methods in Verification

Název česky

Paralelní a distribuované metody verifikace

Autoři

ČERNÁ, Ivana a Boudewijn HAVERKORT

Vydání

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

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

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

Impakt faktor

Impact factor: 0.611

Organizační jednotka

Fakulta informatiky

DOI

UT WoS

000286911500001

Klíčová slova česky

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

Klíčová slova anglicky

parallel and distributed computations; formal verification

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 17. 4. 2012 11:33, RNDr. Pavel Šmerk, Ph.D.

Anotace

ORIG CZ

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.

Česky

Č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í.