... Formal specifications and assertions程序断言和假设 Verification techniques of确性判定技术 Mathematical logic数字逻辑 ...
基于1个网页-相关网页
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.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
应用推荐