정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
검색 결과
"이산 수학"에 대한 검색 결과 (총 2개)
한국정보과학회 (KIISE) 1. 개요 한국정보과학회(Korean Institute for Information Science, KIISE)는 컴퓨터 과학 및 정보기술(IT) 분야의 학문적 발전과 기술 혁신을 도모하기 위해 설립된 대한민국 대표의 정보과학 전문 학술 단체이다. 본 학회는 컴퓨터 공학의 이론적 기초부터 응용 기술에 이르기까지 폭넓은 연구 영역…