抽象解釋 (Abstract Interpretation)是形式化驗證方法(Formal Verification)的一種,其餘的兩種分別為定理證明(Theorem Proving)和模型檢驗(Model Checking)。
確定! 回上一頁