검사와 타당성 검증