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

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