一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

您好,歡迎來(lái)電子發(fā)燒友網(wǎng)! ,新用戶?[免費(fèi)注冊(cè)]

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

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

大?。?/span>2.10 MB 人氣: 2017-12-29 需要積分:3

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

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

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論,獲取積分! 請(qǐng)遵守相關(guān)規(guī)定!

      ?