ČERNÁ, Ivana a Boudewijn HAVERKORT. Parallel and Distributed Methods in Verification. Journal of logic and computation. Oxford: Oxford University Press, 2011, roč. 2011, č. 21, s. 1-3. ISSN 0955-792X. Dostupné z: https://dx.doi.org/10.1093/logcom/exp001.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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 http://dx.doi.org/10.1093/logcom/exp001
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ěnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2012 11:33.
Anotace
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.
Anotace č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í.
VytisknoutZobrazeno: 5. 8. 2024 05:35