基于TL2軟件事務內(nèi)存機制的并發(fā)程序的精化驗證.pdf

1、中國科學技術(shù)大學碩士學位論文基于TL2軟件事務內(nèi)存機制的并發(fā)程序的精化驗證作者姓名：學科專業(yè)：導師姓名：完成時間：趙立飛計算機軟件與理論馮新宇教授付明博士二O一四年四月二十二日：白嵫／中國科學技術(shù)大學學位論文原創(chuàng)性聲明本人聲明所呈交的學位論文，是本人在導師指導下進行研究工作所取得的成果。除己特別加以標注和致謝的地方外，論文中不包含任何他人已經(jīng)發(fā)表或撰寫過的研究成果。與我一同工作的同志對本研究所做的貢獻均己在論文中作了明確的說明。作者簽名

2、：塑圭鴦簽字日期：p化t瀝，中國科學技術(shù)大學學位論文授權(quán)使用聲明作為申請學位的條件之一，學位論文著作權(quán)擁有者授權(quán)中國科學技術(shù)大學擁有學位論文的部分使用權(quán)，即：學校有權(quán)按有關規(guī)定向國家有關部門或機構(gòu)送交論文的復印件和電子版，允許論文被查閱和借閱，可以將學位論文編入有關數(shù)據(jù)庫進行檢索，可以采用影印、縮印或掃描等復制手段保存、匯編學位論文。本人提交的電子文檔的內(nèi)容和紙質(zhì)論文的內(nèi)容相一致。保密的學位論文在解密后也遵守此規(guī)定。廬開口保密(——年)