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

词汇	approachability analysis
释义	approachability analysis 基本例句可达性分析 For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
随便看	PHPD PHPer PHperiod hours PhPharmacokinetics PHphase php hypertext preprocessor php include server side includes php language PHPMA phpMyAdmin phpopiesia phpopiesia,hypopiesis phpotographic offset printing phpp phppa p-hpph PHPS phpsphate crown phpt phpv PHP with Ariel database support function phq phr Phra phra-