08332 Executive Summary - Distributed Verification and Grid Computing

H. Bal,L. Brim,M. Leucker
Abstract:The Dagstuhl Seminar on Distributed Verification and Grid Computing took place from 10.08.2008 to 14.08.2008 and brought together two groups of researchers to discuss their recent work and recent trends related to parallel verification of large scale computer systems on large scale grids. In total, 29 experts from 12 countries attended the seminar.
What problem does this paper attempt to address?