| 一種驗證指針程序的方法 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：aet | |
| 文檔大小：1829 K | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：利用形狀圖邏輯和形狀系統(tǒng)來解決指針程序的分析和驗證中的困難。該方法要求程序員聲明各種遞歸結(jié)構(gòu)體類型參與構(gòu)建的數(shù)據(jù)結(jié)構(gòu)的形狀，并聲明指針變量所指向的形狀，以便程序分析工具能建立各程序點的形狀圖，并以此來支持程序驗證。探討了在指針相等關(guān)系靜態(tài)可確定的情況下，避免在Hoare邏輯上做復(fù)雜擴展的指針程序驗證方法。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
相關(guān)資源
aet 的最新分享
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號-2