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