analysis of reachability

 
  • 可達性

analysis of reachability的用法和樣例:

例句

  1. Reachability testing is a valid method for concurrent software testing.
    可達性測試是併發軟體測試中的一種有效方法。
  2. For most safety properties and some liveness properties, model checking can be reduced to reachability analysis.
    實時系統的絕大多數安全性和部分活性可以通過可達性分析演算法來驗證。

analysis of reachability的相關資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史