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

词汇	reaehability analysis
释义	reaehability analysis 基本例句可达性分析 For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看	Vernerson Verner's syndrome Verner syndrome Verner von Verner Weckman Vernes vernescu Vernesi Vernes resorcin test Vernes' resorcin test vernes rs test Vernes' test Vernes' tests vernet Vernet Verneta Vernet-les-Bains Vernet Morrison syndrome Vernet-Morrison syndrome vernet rs syndrome vernets Vernet S.A Vernet's syndrome Vernet syndrome Vernetta