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

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 日本黄色免费在线观看 | 91大神在线精品视频一区 | 亚洲美女爱爱 | 日本成人免费网站 | 四虎在线观看免费视频 | 你懂得在线| 天天干天天日天天射天天操毛片 | 国模私拍一区二区三区 | 国产自在自线午夜精品视频 | 国产一卡2卡3卡四卡精品网站 | 青草青视频在线观看 | 一区二区在线免费视频 | 亚洲三级理论 | 天天干天天操天天爱 | 黄色网址有那些 | 亚洲国产一区二区在线 | h网站免费在线观看 | 天天操天天谢 | 四虎影院新网址 | 国产一二精品 | 91精品啪国产在线观看免费牛牛 | 国产91色综合久久免费分享 | 一级a性色生活片毛片 | 天堂资源在线观看 | 天天看天天爽天天摸天天添 | 精品国产午夜久久久久九九 | 亚洲国产成人久久精品影视 | 女女同免费播放毛片 | 又粗又大又爽又色又过瘾视频 | 五月天激情丁香 | 国产成人高清一区二区私人 | 中国日韩欧美中文日韩欧美色 | 狠狠操夜夜爱 | 最近国语剧情视频在线观看 | 成人亚洲欧美综合 | 久久天天躁狠狠躁夜夜不卡 | 亚洲精品卡1卡二卡3卡四卡 | 男女一进一出无遮挡黄 | 加勒比一本大道香蕉在线视频 | 免费视频色 | 天堂激情 |