八卦一下模型驗證(三)

CSDN的大大們啊，求求你們了啊。修復這坨不能自動上傳圖片的錯誤啊。好像已經三個月了啊。圖多的時候發文章真地很痛苦啊。Orz Orz Orz 準備八卦Edmund等人算法時纔想起，人1986年成名作是討論用CTL (Computational Tree Logic) 作規範語言的模型驗證算法，而第一篇八卦失心瘋只介紹了LTL。雖說也有算法對付Kripke結構上的LTL模型驗證，但一來該算法的複雜度

>>阅读原文<<