一種自動(dòng)生成循環(huán)摘要的方法
推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）
采用形式化方法證明軟件的正確性，是保障軟件可靠性的有效方法．而對(duì)循環(huán)語(yǔ)句的分析與驗(yàn)證，是形式化證明中的關(guān)鍵對(duì)循環(huán)語(yǔ)句的處理一直是程序分析與驗(yàn)證中的一個(gè)難點(diǎn)問(wèn)題．提出使用循環(huán)語(yǔ)句修改的內(nèi)存和這些內(nèi)存中存放的新值來(lái)描述循環(huán)語(yǔ)句的執(zhí)行效果，并將該執(zhí)行效果定義為循環(huán)摘要，同時(shí)，提出一種自動(dòng)生成循環(huán)摘要的方法，可以為操作常用數(shù)據(jù)結(jié)構(gòu)的循環(huán)自動(dòng)生成循環(huán)摘要，包含嵌套循環(huán)．此外，基于循環(huán)摘要，可以自動(dòng)生成循環(huán)語(yǔ)句的規(guī)約。包括循環(huán)不變式、循環(huán)的前置條件以及循環(huán)的后置條件．已經(jīng)實(shí)現(xiàn)了自動(dòng)生成循環(huán)摘要以及循環(huán)規(guī)約的方法，并將它們集成到驗(yàn)證工具Accumulator中．實(shí)驗(yàn)結(jié)果表明，該方法可以有效地生成循環(huán)摘要，并生成多種類(lèi)型的規(guī)約，從而輔助軟件程序的形式化證明，提高驗(yàn)證的自動(dòng)化程度和效率，減輕驗(yàn)證人員的負(fù)擔(dān)．
?
非常好我支持^.^
(0) 0%
不好我反對(duì)
(0) 0%
下載地址
一種自動(dòng)生成循環(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)是存在什么問(wèn)題 158
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的應(yīng)用場(chǎng)景有哪些 92
- 循環(huán)神經(jīng)網(wǎng)絡(luò)處理什么數(shù)據(jù) 166
- 循環(huán)神經(jīng)網(wǎng)絡(luò)的基本概念 168