技術(shù)總結(jié)
本發(fā)明提出了一種基于測地距的并發(fā)系統(tǒng)模型檢測方法，針對模型檢測中的狀態(tài)爆炸問題，采用假設(shè)保證組合驗證方法，研究組合驗證出現(xiàn)的多種挑戰(zhàn)，解決假設(shè)保證組合驗證出現(xiàn)的分解問題。通過測地距將整個系統(tǒng)分解成若干個組，每個組中的子系統(tǒng)之間的關(guān)系盡可能親密，從而解決了模型檢測過程中容易產(chǎn)生的狀態(tài)爆炸問題。

技術(shù)研發(fā)人員：劉小燕;王健;劉永利;陳艷麗;沈記全
受保護(hù)的技術(shù)使用者：河南理工大學(xué)
文檔號碼：201611221524
技術(shù)研發(fā)日：2016.12.27
技術(shù)公布日：2017.05.17