727.91 형식 검증(Formal Verification) 기법