수치적 안정성 검증 사례