“정형기법”으로 총 1건 검색

• 정형기법, 定型技法, Formal Methods

  기법. 대상 시스템의 기능을 논리식과 같은 정형언어로 기술하여 수학적인 증명기법을 적용, 검증하는 분석기법으로 안전성과 신뢰성, 보안성 등을 확인을 하는 이론적 토대를 제공한다. 정형기법은 정형명세(formal specification)와 정형검증(formal verification) 과정으로 크게 나눌 수 있다. 정형명세는...