analysis of reachability 基本例句 可达性 Reachability testing is a valid method for concurrent software testing.可达性测试是并发软件测试中的一种有效方法。 For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。