Static Verification Point 静态验证点
Static Design Verification 静态验证
static state verification 静态校核
static timing verification 静态时序分析
And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
参考来源 - 超大规模集成电路设计流程中的验证技术及实践Time management is an important part of workflow software. This paper presents a time modeling method based on Petri-net,proposes a static verification rules for the models.
时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。
参考来源 - 一种基于Petri网的时间工作流模型的研究与验证 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
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#.
我们其中的一个软件工程师Orion Hodson，完全重新动手写了一个全新的FAT32文件系统，该系统使用了Sing#中的所有状态检验的特性。
And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
应用推荐