#導致模型檢查

1 篇文章

大規模系統的導致模型檢查:分而治之的方法
1076

大規模系統的導致模型檢查:分而治之的方法

分而治之:應對大規模系統中的導致模型檢查問題模型檢查技術的重要性模型檢查是近幾十年來最成功的電腦科學成果之一。這就是為什麼愛德蒙·M·克拉克(Edmund M. Clarke)、E·阿倫·愛默生(E. Allen Emerson)和約瑟夫·西法基斯(Joseph Sifakis)於 2007 年獲得

«1»