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

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 欧美一区二区三区不卡免费观看 | 亚洲va久久久噜噜噜久久天堂 | 午夜精品aaa国产福利 | 天天爱添天天爱添天天爱添 | 一级一级18女人毛片 | 色噜噜噜噜 | 亚洲一区二区三区在线视频 | 亚洲精品视频区 | 国产成+人+综合+亚洲欧美丁香花 | hs视频在线观看 | 天天做天天爱天天爽综合区 | 欧美日韩色片 | 女人张开腿男人猛桶视频 | 午夜dy888理论三级 | 免费h视频 | 色综合色狠狠天天综合色hd | 操操操干干 | 国产一级特黄a大片免费 | 91天天干 | 免费a在线看 | 快乐你懂的在线视频免费观看 | 亚洲bt欧美bt高清bt777 | 成人观看网站a | 久久久久久久久综合 | 高清不卡毛片免费观看 | 欧美在线不卡视频 | 狠狠色丁香久久婷婷综 | 亚洲综合亚洲综合网成人 | 亚洲系列中文字幕一区二区 | 国产丝袜va丝袜老师 | 电影天堂在线观看三级 | 欧美一区二区三区不卡免费观看 | 狠狠要| 97天天摸天天碰天天爽 | 国产精品久久女同磨豆腐 | 国产h视频在线 | 丁香狠狠色婷婷久久综合 | 日本不卡一区二区三区在线观看 | 亚洲一区区| 久草视频一区 | 97久久天天综合色天天综合色 |