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