Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.

其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。

youdao

Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.

其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。

youdao