静的ドライバー検証ツールの規則

検証ルールでは、ドライバーとオペレーティング システムのカーネル インターフェイスとの間の適切なやり取りの要件を定義します。 このルールは、Microsoft Research がこの目的のために特別に開発したシンプルな言語、SLIC (Specification Language for Interface Checking) で記述されています。