For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.

模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。

youdao

Based on the above, the safety properties of the dam are analyzed and appraised comprehensively, which provides a scientific base for the appraisal oft...

在此基础上，对大坝的安全性态进行了综合分析和评价，为病险水库安全鉴定提供了科学依据。

youdao

In this paper, an efficient and suitable testing method for evaluating the safety properties of the BMH bulk safety explosive for sulphide ore mining is presented.

本文介绍的是一种对BMH型硫化矿用散装安全炸药的研究非常有效、适用的安全性能检测方法。

youdao

"Praetorian Group and Praetorian Labs are proud to incubate Connected To The Case, a great resource that allows the general public to participate and help public safety and first responders solve crimes every day, " said Alex Ford, CEO of Praetorian Group, the recognized digital platform leader in the Public Safety market with properties such as PoliceOne.com, FireRescue1.com and EMS1.com.

ENGADGET: Connected To The Case to use Facebook for crowd-sourced crime solving

He said the council had to ensure the safety of people using council properties and others people being intimidated.

BBC: Tunbridge Wells Soup Bowl to close after disturbances

Owner Newhaven Port and Properties shut it in 2008 following safety fears.

BBC: Newhaven Beach