一種自動生成循環(huán)摘要的方法
大小：1.07 MB 人氣： 2017-12-29 需要積分：2
標(biāo)簽：循環(huán)(15883)自動生成(7338)
采用形式化方法證明軟件的正確性，是保障軟件可靠性的有效方法．而對循環(huán)語句的分析與驗(yàn)證，是形式化證明中的關(guān)鍵對循環(huán)語句的處理一直是程序分析與驗(yàn)證中的一個難點(diǎn)問題．提出使用循環(huán)語句修改的內(nèi)存和這些內(nèi)存中存放的新值來描述循環(huán)語句的執(zhí)行效果，并將該執(zhí)行效果定義為循環(huán)摘要，同時，提出一種自動生成循環(huán)摘要的方法，可以為操作常用數(shù)據(jù)結(jié)構(gòu)的循環(huán)自動生成循環(huán)摘要，包含嵌套循環(huán)．此外，基于循環(huán)摘要，可以自動生成循環(huán)語句的規(guī)約。包括循環(huán)不變式、循環(huán)的前置條件以及循環(huán)的后置條件．已經(jīng)實(shí)現(xiàn)了自動生成循環(huán)摘要以及循環(huán)規(guī)約的方法，并將它們集成到驗(yàn)證工具Accumulator中．實(shí)驗(yàn)結(jié)果表明，該方法可以有效地生成循環(huán)摘要，并生成多種類型的規(guī)約，從而輔助軟件程序的形式化證明，提高驗(yàn)證的自動化程度和效率，減輕驗(yàn)證人員的負(fù)擔(dān)．
?
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
一種自動生成循環(huán)摘要的方法下載
相關(guān)電子資料下載
- rnn是遞歸神經(jīng)網(wǎng)絡(luò)還是循環(huán)神經(jīng)網(wǎng)絡(luò) 164
- 遞歸神經(jīng)網(wǎng)絡(luò)與循環(huán)神經(jīng)網(wǎng)絡(luò)一樣嗎 139
- 遞歸神經(jīng)網(wǎng)絡(luò)是循環(huán)神經(jīng)網(wǎng)絡(luò)嗎 199
- 循環(huán)神經(jīng)網(wǎng)絡(luò)算法原理及特點(diǎn) 158
- 循環(huán)神經(jīng)網(wǎng)絡(luò)算法有哪幾種 153
- 循環(huán)神經(jīng)網(wǎng)絡(luò)有哪些基本模型 162
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的缺點(diǎn)是存在什么問題 158
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的應(yīng)用場景有哪些 92
- 循環(huán)神經(jīng)網(wǎng)絡(luò)處理什么數(shù)據(jù) 166
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的基本概念 168