验证引擎

SDV 验证引擎 是执行 SDV 规则验证的强大证明引擎。

验证引擎采用以下输入：

• 驱动程序代码

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

• 静态驱动程序验证程序 操作系统模型