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

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