formal verification

短語詞組

短語

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