您好，歡迎來電子發(fā)燒友網(wǎng)！ ，新用戶？[免費(fèi)注冊]

您的位置：電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

通過抽象程序證明復(fù)雜具體程序

大小：2.10 MB 人氣： 2017-12-29 需要積分：3

推薦 + 挑錯 + 收藏(0) + 用戶評論（0）

前往下載地址

　　 描述了證明抽象程序和具體程序滿足一致性關(guān)系的方法．抽象程序使用抽象數(shù)據(jù)結(jié)構(gòu)（ADTs），如set，list，map及其上的操作，具體程序使用類C語言中的類型．抽象程序和具體程序一致性證明需要用戶給出抽象變量和具體變量的關(guān)系、抽象程序程序點(diǎn)和具體程序程序點(diǎn)的對應(yīng)關(guān)系，基于對應(yīng)關(guān)系，抽象程序和具體程序一致性證明可以分解，從而容易并可能自動證明．

通過抽象程序證明復(fù)雜具體程序

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

      用戶評論
      評價:好評中評差評

      發(fā)表評論，獲取積分！ 請遵守相關(guān)規(guī)定！

      ?