reachability
基本解釋
- n.能達到性
英漢例句
- The next page will teach students how to test network reachability.
下一頁將教學生如何測試網(wǎng)路可到達性。 - Reachability testing is a valid method for concurrent software testing.
可達性測試是并發(fā)軟件測試中的一種有效方法。 - Blowing-in and Rapid Reachability of Designed Capacity of No. 2 BF at Meishan Co.
梅山2號高爐開爐快速達產實踐。 - We present rules to fetch structures hierarchically. While TPN is converted to HTPN, physical reachability is verified.
在基于TPN的工作流模型中增加截止期限約束條件,并將各個路由結構按照給出的規(guī)則分層提取,得到只有順序結構的HTPN模型。 - For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
實時系統(tǒng)的絕大多數(shù)安全性和部分活性可以通過可達性分析算法來驗證。