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