英语词汇“approachability analysis”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	approachability analysis
释义	approachability analysis 基本例句可达性分析 For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看	Kālinjara Kāli Sindh R Kālka Kālna Kālni R Kālol Kālpi Kāl-Shūr Kāl-Shūr, Rūd-e Kālsi Kālupāra Kālābāgh Kālākānkar Kālāmāti Kālānwāli Kālān Zīād Kālāvad Kālī Gandakī Kālīganj Kālīnagar Kālūkh Kālūkh, Tall al Kāmalanka Kāmalāpuram Kāman