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