Reachability testing is a valid method for concurrent software testing. 可達性測試是并發(fā)軟件測試中的一種有效方法。
For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 實(shí)時(shí)系統的絕大多數安全性和部分活性可以通過(guò)可達性分析算法來(lái)驗證。
滬公網(wǎng)安備 31011502000490號
電信業(yè)務(wù)許可證編號：滬B2-20190700
