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