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.

修复主管道的工作周二早上完成，但工程人员必须给管道试压验收，并且逐户检查。

youdao

Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.

模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。

youdao

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.

第十三条各单位应当建立财产清查制度，保证帐簿记录与实物、款项相符。

youdao