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.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
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.
第十三条各单位应当建立财产清查制度，保证帐簿记录与实物、款项相符。
应用推荐