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

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

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