静态驱动程序验证程序规则

验证规则定义了驱动程序与操作系统内核接口之间正确交互的要求。 这些规则以 SLIC (接口检查规范语言) ,这是 Microsoft Research 明确为此开发的一种简单语言。