- 분야
-
『정보·통신』
- 「001」프로그램의 입력, 출력, 그리고 중간 조건을 서술하는 단언이 작성되고 입력 단언의 충족과 출력 단언의 충족에 관련된 일련의 이론들이 참이라고 증명되는 정확성 증명 기법.
관련 어휘
- 비슷한말
- 귀납적^단언법(歸納的斷言法)
대역어
- 영어
- inductive assertion method
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
이 누리집은 대한민국 공식 전자정부 누리집입니다.
