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.

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

互联网