formal validation and verification
常見例句
- Validation and verification of formal requirements specification.
需求規(guī)約的確認(rèn)與驗(yàn)證。 - Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
其中幾本教材中有很少的篇幅涉及到確認(rèn)和驗(yàn)證,但是僅僅是簡單的引用IEEE標(biāo)準(zhǔn)或其他正式的方法。 返回 formal validation and verification