742번 문제

출제 연도: 기출 예상 문제
대분류: 소프트웨어 개발 보안 구축
소분류: 소프트웨어 개발 보안 구현
문제:
정형 언어(소프트웨어와 하드웨어 시스템의 검증을 위한 수학적 기반 기술)로 명세된 모델을 검증하고자 하는 특성을 만족하는지 입증하는 기법이다.
정답: 모델 채킹(Model Checking) 도구
유사 답안: None