Publication details
Parallel and Distributed Methods in Verification
| Authors | |
|---|---|
| Year of publication | 2011 |
| Type | Article in Periodical |
| Magazine / Source | Journal of logic and computation |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1093/logcom/exp001 |
| Field | Informatics |
| Keywords | parallel and distributed computations; formal verification |
| Description | 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. |