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

확인 규칙은 드라이버와 운영 체제의 커널 인터페이스 간의 적절한 상호 작용에 대한 요구 사항을 정의합니다. 규칙은 이 목적을 위해 Microsoft Research에서 명시적으로 개발한 간단한 언어인 SLIC(인터페이스 검사용 사양 언어)로 작성되었습니다.