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