Assumptions are similar to assertions at runtime, but differ during static verification.
假定与运行时断言相似，不同之处在于静态检验的方式。
One of our engineers, Orion Hodson, had written a new FAT32 file system from scratch using all of the static verification features in Sing#.
我们其中的一个软件工程师OrionHodson，完全重新动手写了一个全新的FAT32文件系统，该系统使用了Sing#中的所有状态检验的特性。
And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
A static verification methodology for circuit design-flow of ASIC's based on very deep sub-micron CMOS technology is described in the paper.
介绍了基于深亚微米cmos工艺asic电路设计流程中的静态验证方法。
A comparison of the static verification methodology with the dynamic verification methodology indicates that the former is more efficient and more accurate than the latter.
将这种验证方法与以往的动态验证方法进行了比较，结果表明，前者比后者更加高效和准确。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
应用推荐