1278.154 상태-전이 설계의 동적 검증 기법