PDMC 2012

11th International Workshop on Parallel and Distributed Methods in verifiCation

September 17th, 2012, Imperial College London, London, UK

Co-locating with
9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012




London

Preliminary Workshop Programme



SESSION 1
09:00 - 10:00 Keynote: The New Frontier in Software Model Checking
     Gerard Holzmann
10:00 - 10:20 Multi-core BDD Operations for Symbolic Reachability
    Tom van Dijk, Alfons Laarman and Jaco van de Pol
10:20 - 10:40 Large-scale Distributed Verification using CADP: Beyond Clusters to Grids
    Hubert Garavel, Radu Mateescu and Wendelin Serwe
10:40 - 11:00 LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
    Kari Kahkonen, Olli Saarikivi and Keijo Heljanko

11:00 - 11:30 Coffee Break


SESSION 2
11:30 - 11:50 Extending LTSmin with Promela through SpinJa
    Freark van der Berg and Alfons Laarman
11:50 - 12:10 Distributed LTL Model Checking with Hash Compaction
    Jiri Barnat, Jan Havlicek and Petr Rockai
12:10 - 12:30 Closing remarks