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

[ Home ] [ Submission Page ] [ Important Dates ] [ Call for Papers ] [ Programme ] [ Registration ] [ PDMC.CZ ]

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

	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