실행과 검증