靜態驅動程式驗證器規則

驗證規則會定義驅動程式與作業系統核心介面之間適當互動的需求。 這些規則是以介面檢查 (SLIC) 的規格語言撰寫，這是 Microsoft Research 針對此目的所開發的簡單語言。