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

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

youdao

This paper construct measure system of road safety properties evaluation and corresponding method through three levels that are respectively point, line and area.

本文从点、线、面三个层次建立了道路交通安全性能评价的指标体系与相应的评价方法。

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