reaehability analysis的用法和樣例：
例句
- For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
實時系統的絕大多數安全性和部分活性可以通過可達性分析演算法來驗證。 - Neither regression analysis nor cross-classification analysis thoroughly demonstrates the relevant relationship between trip generation and accessibility to traffic zones.
在出行生成模型中，無論是回歸分析還是發生率法或類別生成法都很少能體現出行生成與地區區位和可達性之間的相關關係。
