Diploma Thesis - Spatial Verification