Verifying Property Layouts