analysis of reachability

 
  • 可達性

analysis of reachability的用法和樣例:

例句

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

analysis of reachability的相關(guān)資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan