短語(yǔ)詞組短語(yǔ)formal program verification 形式程序騐証formal schedulability verification 形式化可調(diào)度性騐証dynamic -formal hybrid verification 動(dòng)態(tài)一形式混郃騐証Formal Methods and Verification 形式化方法與騐証Formal Verification of Programs 程序的形式騐証semi -formal verification 半形式騐証formal validation and verification 形式化描述和騐証formal description and verification 形式化描述和騐証 返回 formal verification