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

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

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

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

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 日本精品卡一卡2卡3卡四卡三卡 | 久久精品亚瑟全部免费观看 | 亚洲精品亚洲人成毛片不卡 | 四虎中文 | 日韩毛片免费线上观看 | 高h肉肉视频在线播放观看 高黄视频 | 精品热99 | 色cccwww在线播放 | 神马电影天堂网 | 国产小视频在线观看www | 免费观看黄色网页 | 亚洲毛片基地4455ww | 亚洲人成影院在线高清 | 久久的色偷偷 | 国产yw855.c免费观看网站 | 美女一级毛片毛片在线播放 | 美女又爽又黄视频 | 国内一级特黄女人精品片 | 色综合天天综合网国产成人 | 日韩精品免费一级视频 | 华人被黑人粗大猛然进 | 国产欧美另类第一页 | 欧美成人免费夜夜黄啪啪 | 小雪被老外黑人撑破了视频 | 我被黑人巨大开嫩苞在线观看 | 欧美精品xxxⅹ欧美 欧美精品高清在线xxxx | 色域综合 | 男人边吃奶边爱边做视频日韩 | 成年全黄大色大黄 | 亚洲综合一区二区 | 奇米第四狠狠777高清秒播 | 亚洲视频高清 | 伊人狠狠丁香婷婷综合色 | 免费黄色网址网站 | 久久精品国产99精品最新 | 精品伊人久久大香线蕉网站 | 77米奇影院 | 97爱sese| 久久亚洲欧美成人精品 | 99在线热播精品免费 | 一区二区三区视频在线观看 |