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