확인 엔진

SDV 확인 엔진 은 SDV에 대한 규칙 확인을 수행하는 강력한 증명 엔진입니다.

확인 엔진은 다음 입력을 사용합니다.

• 드라이버 코드

• 정적 드라이버 검증 도구 규칙

• 정적 드라이버 검증 도구 운영 체제 모델