The other type of formal verification is property checking.
另外一种形式验证是特性检查。
The idea behind property checking is to search the entire state space for points that fail the property.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
What makes property checking a success in industry are symbolic traversal algorithms that enumerate the state space implicitly.
使得特性检查在业界获得成功的因素是象征遍历算法，它无保留地枚举状态空间。
You now have the choice, at assembly time, to override the usual type checking and create a wire between a property and an action of different types.
在组装时就需要进行选择，是覆盖常用类型检查，还是在不同类型的属性和行为之间创建连接。
Once again, you do some browser capability detection, by first checking if the window object has the localStorage property, per the HTML 5 specification.
同样，这里做了一些浏览器功能检查，按照HTML5规范，首先检查window对象是否有localStorage属性。
You can find out if the transaction log archive mode is enabled for a database by checking the database property derby.storage.logArchiveMode .
通过检查数据库属性 derby.storage.logArchiveMode ，可以发现事务日志归档模式是否被启用。
Model checking is then used to check whether a program has a given property.
然后使用模型检查来检验一个程序是否有某个给定特性。
Checking follicular property and frequent pathological change such as pore obstruction, overactive secretion of sebum etc.
检测毛发的性质及日常出现的病变，如毛囊堵塞、油脂分泌过盛……
A local official says relevant departments are checking whether the quake caused any casualties or property losses.
当地官员表示，相关部门正在核实地震造成的人员伤亡和财产损失情况。
It can be used in place of the detailed model when building environmental model or checking global property to improve the efficiency of model checking .
它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。
Work to repair the damaged gas pipe was completed on Tuesday morning, but engineers have had to repressurise and test the system, as well as checking each individual property.
修复主管道的工作周二早上完成，但工程人员必须给管道试压验收，并且逐户检查。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
Then, the difficulty for mechanical checking from those was given, and a research way for total property and local damaging of bridge structure was pointed out.
总结了通过试验及计算进行桥梁检测和评估的难点，以及进行桥梁整体结构与局部损伤研究的一种途径和方法。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Article 13. Units should set up a property-checking system to ensure that the accounting records conform with the quantities of existing materials and funds.
第十三条各单位应当建立财产清查制度，保证帐簿记录与实物、款项相符。
Article 13. Units should set up a property-checking system to ensure that the accounting records conform with the quantities of existing materials and funds.
第十三条各单位应当建立财产清查制度，保证帐簿记录与实物、款项相符。
应用推荐