Abstract
The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for the first time under the heading of Formal Methods Week. This volume contains the final workshop proceedings.
| Original language | English |
|---|---|
| Title of host publication | Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation |
| Editors | Lubos Brim, Jaco van de Pol |
| Publisher | arXiv.org |
| Number of pages | 1 |
| DOIs | |
| Publication status | Published - 15 Dec 2009 |
| Event | 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009 - Eindhoven, Netherlands Duration: 4 Nov 2009 → 4 Nov 2009 Conference number: 8 http://anna.fi.muni.cz/PDMC/PDMC09/ |
Publication series
| Name | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Publisher | Open Publishing Association |
| Volume | 14 |
| ISSN (Print) | 2075-2180 |
Workshop
| Workshop | 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009 |
|---|---|
| Abbreviated title | PDMC |
| Country/Territory | Netherlands |
| City | Eindhoven |
| Period | 4/11/09 → 4/11/09 |
| Internet address |
Keywords
- Model Checking
- CR-C.2.4
- Distributed
- FMT-MC: MODEL CHECKING
- Parallel