Informace o publikaci
Parallel and Distributed Methods in Verification
| Název česky | Paralelní a distribuované metody verifikace |
|---|---|
| Autoři | |
| Rok publikování | 2011 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Journal of logic and computation |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1093/logcom/exp001 |
| Obor | Informatika |
| Klíčová slova | parallel and distributed computations; formal verification |
| Popis | Č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í. |