始用正确参数的静态验证( Static verification using correctness arguments) 决定程式可靠度的统计测试(Statistical testing to determine program reliability)
基于12个网页-相关网页
... 执行语义(Execution Semantics) 静态验证(Static Validation) 类型检查(Type Introspection) ...
基于1个网页-相关网页
静态验证点 Static Verification Point
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
其中形式验证是静态验证的一种。
静态验证和契约式设计理论大部分属于确定性理论的范畴。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
介绍了基于深亚微米cmos工艺asic电路设计流程中的静态验证方法。
A static verification methodology for circuit design-flow of ASIC's based on very deep sub-micron CMOS technology is described in the paper.
应用推荐