formal verification
短语词组
- formal program verification 形式程序騐証
- formal schedulability verification 形式化可調度性騐証
- dynamic -formal hybrid verification 動態一形式混郃騐証
- Formal Methods and Verification 形式化方法與騐証
- Formal Verification of Programs 程序的形式騐証
- semi -formal verification 半形式騐証
- formal validation and verification 形式化描述和騐証
- formal description and verification 形式化描述和騐証 返回 formal verification