其中形式验证是静态验证的一种。
静态验证和契约式设计理论大部分属于确定性理论的范畴。
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.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
由此可以说明，静态验证完全可以取代动态验证，并且静态验证比动态验证更加适合超大规模集成电路的发展趋势。
It has been shown that the static verification, which is a substitute for dynamic verification, is more suitable for VLSI's.
它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
被映射的对象使用被存储的、静态的、识别属性和对象层次来验证，在回放过程中脚本使用了正确的控件。
Mapped objects use stored, static, recognition properties and object hierarchies to verify that the script USES the correct control during playback.
我们可以指定契约验证，可在编译时(静态)或在运行时(动态)执行校验。
Contract validation can be specified to be executed statically at build time or dynamically at runtime.
识别合适的方案，对于真正理解这个问题，并验证问题值得使用静态分析发来解决来说，意义重大。
Identifying the correct solution plays a key part in truly understanding the problem and verifying that the problem is worthy enough to identify by using static analysis.
每个约束(不只实现了验证逻辑)描述了它如何能投映到一组预定义的静态约束范围内。
Each constraint (beyond implementing the validation logic), describes how it can be projected on a set of predefined static constraint dimensions.
清单4显示了除使用静态列外，还可以向帐户编号字段添加简单验证例程以确保输入值不是非数字值。
Listing 4 shows an example of the power of adding a simple validation routine to the account number field to make sure it cannot be a non-number in addition to using static columns.
以静态SQL执行模式运行示例应用程序，并验证它是否具有正确的行为。
Run the sample application in static SQL execution mode, and validate its correct behavior.
不过，查找Web页面上的静态文本通常非常有用，例如，用来验证html表或文档中显示的文本。
However, it is often very useful to find static text on a Web page, for example, to verify the text appearing in an HTML table or document.
JSFUnit包括一个JSF静态分析测试套件用来验证JSF配置文件，以确保在运行时产生问题之前就能识别出任何与配置相关的问题。
JSFUnit includes a JSF Static Analysis test suite to validate the JSF configuration files to identify any configuration related issues before they occur at run-time.
验证参数的值可以使用value属性规定为静态的，也可以通过使用sourcefield 属性将其链接到表单字段，将值规定为动态的。
The validation arguments' values can either be static using the value attribute or dynamic by linking it to a form field using the sourcefield attribute.
现在VisualStudio中已经包含了用于验证Windows驱动程序和Metro应用程序的静态分析工具。
The static analysis tools needed for validating Windows Drivers and Metro applications are now included within Visual Studio.
不仅验证对象以保证DI依赖(通过Guice及内建的GuiceServlet)的正确性，而且还对页面中的表达式进行静态的类型检查使之符合相应的页面类。
Not only are your objects validated for di dependencies (with Guice and Guice Servlet built-in), but expressions inside pages are statically type-checked against their corresponding page classes.
这种保护结构可以将闩锁的触发电压提高一个数量级，在实际的闩锁静态测试中得到验证。
The triggering voltage can be improved by up to one order of magnitude. This conclusion is proved in practical static latch up test.
通过油藏数值模拟的历史拟合精度来评价地质模型的可靠性，由动态模型验证静态模型。
Reliability of the geological model was evaluated by history matching precision of oil reservoir numerical simulation. Static model was validated by dynamic model.
同时对机构进行了静态和动态特性理论分析，提出了机构静态和动态计算解析式，并用有限元方法对机构动态和静态特性进行了验证。
Theoretical analysis is done on the static and dynamic characteristics of the structure, differential equations are presented, and it is also verified by the finite element method.
文中提出的设计方案已成功实现于静态模拟实验室，其可行性和有效性已得到验证。
The proposed design scheme has already realized in static simulation laboratory, its feasibility and efficiency are verified.
静态时序分析是一种彻底的分析、调试、验证设计的方法。
Static timing analysis is an exhaustive method of analyzing, debugging and validating design performance.
本文的重心是采用有限元分析软件ANSYS8.0对加载系统的结构进行静态分析和模态分析，以验证其设计的合理性。
The thesis is mainly devoted to prove the validity of the design by analyzing the structure of the loading system, via FEA analysis software ANSYS8.0.
最后通过静态应力试验验证该模型的正确性。
The static stress test verifies the correctness of the model.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
提出了一个静态分析，动态验证的安全漏洞检测模型。
Propose a security vulnerabilities detection model which use static analysis and dynamic verification strategy.
此方法计算量小，实验证明获得了较传统PI控制更好的动静态性能。
The test results show that it has better performance both in dynamic and steady state than traditional PI control.
没有用于验证透明度的静态分析规则。
There are no static analysis rules to validate transparency.
本文使用了2006年山东电网585系统作为算例，对静态等值和动态等值进行验证。
Finally, this paper USES the 2006 Shandong 585-bus power system to verify the static and dynamic equivalent method.
以装有多个静态无功补偿器的新英格兰系统为例进行数字仿真研究，验证了控制策略的有效性和灵活性。
The simulation results of the classic New England system equipped with several static var compensators(SVC) show the effectiveness and flexibility of the control scheme.
应用推荐