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.
在这书内, 最新型 在正式的证实的很多重要的领域内被描述.
互联网