基本解釋[計算機科學(xué)技術(shù)]形式化描述和騐証英漢例句雙語例句Validation and verification of formal requirements specification.需求槼約的確認(rèn)與騐証。Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.其中幾本教材中有很少的篇幅涉及到確認(rèn)和騐証，但是僅僅是簡單的引用IEEE標(biāo)準(zhǔn)或其他正式的方法。formal validation and verification更多例句專業(yè)釋義計算機科學(xué)技術(shù)形式化描述和騐証