formal verification是什么意思_formal verification用英语怎么说_formal verification的翻译_formal verification翻译成_formal verification的中文意思_formal verification怎么读,formal verification的读音,formal verification的用法,formal verification的例句

As alternatives formal verification techniques have been proposed.

作为选择正式的证实技术已经被提议.

互联网

As the complement to traditional simulation - based verification process , Formal Verification methods gain more momentum recently.

形式验证作为传统模拟验证的补充越来越受到重视.

互联网

In this book the state - of - the - art in many important fields of formal verification are described.

在这书内, 最新型 在正式的证实的很多重要的领域内被描述.

互联网