본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
형식^검증 편집하기 편집 금지 요청
분야
『정보·통신』
「001」컴퓨터 프로그램이 기대되는 기능을 확실히 갖고 있는가를 조사하기 위해서 엄격한 수학적 기법을 사용한 프로그램 검증법. 형식 검증 기법에는 입출력 단정, 최약 선결 조건, 그리고 구조적 귀납법 따위가 있다.

대역어

영어
formal verification
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로