在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

您好,歡迎來電子發燒友網! ,新用戶?[免費注冊]

您的位置:電子發燒友網>源碼下載>數值算法/人工智能>

一種自動生成循環摘要的方法

大小:1.07 MB 人氣: 2017-12-29 需要積分:2

  采用形式化方法證明軟件的正確性,是保障軟件可靠性的有效方法.而對循環語句的分析與驗證,是形式化證明中的關鍵對循環語句的處理一直是程序分析與驗證中的一個難點問題.提出使用循環語句修改的內存和這些內存中存放的新值來描述循環語句的執行效果,并將該執行效果定義為循環摘要,同時,提出一種自動生成循環摘要的方法,可以為操作常用數據結構的循環自動生成循環摘要,包含嵌套循環.此外,基于循環摘要,可以自動生成循環語句的規約。包括循環不變式、循環的前置條件以及循環的后置條件.已經實現了自動生成循環摘要以及循環規約的方法,并將它們集成到驗證工具Accumulator中.實驗結果表明,該方法可以有效地生成循環摘要,并生成多種類型的規約,從而輔助軟件程序的形式化證明,提高驗證的自動化程度和效率,減輕驗證人員的負擔.
?

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

      發表評論,獲取積分! 請遵守相關規定!

      ?
      主站蜘蛛池模板: 视频一区二区在线观看 | 国产欧美日韩综合精品一区二区 | 在线观看三级网站 | 海棠高h粗暴调教双性男男 韩国韩宝贝2020vip福利视频 | 国产欧美在线一区二区三区 | 免费一级特黄欧美大片勹久久网 | 卡2卡三卡四卡精品公司 | 午夜精品久久久久久影视riav | 黄视频免费在线看 | 特黄免费 | 俄罗斯aaaaa一级毛片 | 1024国产你懂的日韩 | 一级黄色毛片播放 | 94在线| 欧美成人一区亚洲一区 | 亚洲男女免费视频 | 久久综合九色综合欧洲色 | 狼人 成人 综合 亚洲 | 国产精品久久国产三级国不卡顿 | 两性色午夜视频免费老司机 | 一级毛片q片 | 天堂网在线www最新版在线 | 免费看国产黄色片 | 久久天天躁狠狠躁夜夜爽蜜月 | 欧美系列在线播放 | 黄色录像欧美 | 性欧美大战久久久久久久野外 | 亚洲香蕉久久一区二区三区四区 | 一级做a爰片久久毛片免费看 | 国产精品天天看天天爽 | 天天草视频 | 天天色天天操天天射 | 午夜视频免费观看黄 | 国产综合色在线视频区色吧图片 | 激情婷婷六月 | 午夜看片在线 | 四虎永久地址4hu紧急入口 | 久久午夜影院 | 黄视频网站在线观看 | 女人大毛片一级毛片一 | 亚洲一区免费在线观看 |