Dagstuhl Seminar Proceedings, Volume 8332,

• Henri E. Bal, Lubos Brim, and Martin Leucker 08332 Abstracts Collection – Distributed Verification and Grid Computing 10.4230/DagSemProc.08332.1
• Henri E. Bal, Lubos Brim, and Martin Leucker 08332 Executive Summary – Distributed Verification and Grid Computing 10.4230/DagSemProc.08332.2
• Jaco van de Pol A Typical Verification Challenge for the GRID 10.4230/DagSemProc.08332.3
• Kees Verstoep, Henri E. Bal, Jiri Barnat, and Lubos Brim Efficient Large-Scale Model Checking 10.4230/DagSemProc.08332.4
• Stephen F. Siegel Verification of MPI-based Computations 10.4230/DagSemProc.08332.5