In addition, the application of dynamic verification techniques such as testing remains applicable.
此外，动态验证技术的应用，像测试仍然是可用的。
Thankfully, the sophistication of verification techniques is improving at a rate that makes this at least feasible.
可喜的是，核查技术的复杂化程度正在提升，使得核查至少是可行的。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
应用推荐