驗證引擎

SDV 驗證引擎 是功能強大的證明引擎，可執行 SDV 的規則驗證。

驗證引擎接受下列輸入：

• 驅動程式程式碼

• 靜態驅動程式驗證器規則

• 靜態驅動程式驗證器 作業系統模型