formal verification
短語詞組
- formal program verification 形式程序驗證
- formal schedulability verification 形式化可調(diào)度性驗證
- dynamic -formal hybrid verification 動態(tài)一形式混合驗證
- Formal Methods and Verification 形式化方法與驗證
- Formal Verification of Programs 程序的形式驗證
- semi -formal verification 半形式驗證
- formal validation and verification 形式化描述和驗證
- formal description and verification 形式化描述和驗證 返回 formal verification