Techniques for Formal Modelling and Verification on Dynamic Memory Allocators

《Techniques for Formal Modelling and Verification on Dynamic Memory Allocators》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、2018届研究⽣博⼠学位论⽂分类号：学校代码：10269密级：学号：52131500012EastChinaNormalUniversity博⼠学位论⽂DOCTORALDISSERTATIONTechniquesforFormalModellingandVerificationonDynamicMemoryAllocators院系：计算机科学与软件⼯程学院专业：软件⼯程研究⽅向：软件⼯程理论与⽅法指导教师：蒲⼽光、AhmedBouajjani教授MihealaSighireanu副教授学位申请⼈：⽅彬2018年8⽉Dissertationfordoctorald

2、egreein2018UniversityCode:10269StudentID:52131500012EastChinaNormalUniversityTechniquesforFormalModellingandVerificationonDynamicMemoryAllocatorsDepartment:SchoolofComputerScienceandSoftwareEngineeringMajor:SoftwareEngineeringResearchdirection:SoftwareEngineeringTheoryandMethodsSuper

3、visor:Prof.GeguangPu,AhmedBouajjaniA.P.MihealaSighireanuCandidate:BinFangAug,2018华东师范大学学位论文原创性声明郑重声明：本⼈呈交的学位论⽂《TechniquesforFormalModellingandVerificationonDynamicMemoryAllocators》，是在华东师范⼤学攻读硕⼠/博⼠（请勾选）学位期间，在导师的指导下进⾏的研究⼯作及取得的研究成果。除⽂中已经注明引⽤的内容外，本论⽂不包含其他个⼈已经发表或撰写过的研究成果。对本⽂的研究做出重要贡献的个⼈和集

4、体，均已在⽂中作了明确说明并表⽰谢意。作者签名：日期：年⽉⽇华东师范大学学位论文著作权使用声明《TechniquesforFormalModellingandVerificationonDynamicMemoryAllocators》系本⼈在华东师范⼤学攻读学位期间在导师指导下完成的硕⼠/博⼠（请勾选）学位论⽂，本论⽂的研究成果归华东师范⼤学所有。本⼈同意华东师范⼤学根据相关规定保留和使⽤此学位论⽂，并向主管部门和相关机构如国家图书馆、中信所和“知⽹”送交学位论⽂的印刷版和电⼦版；允许学位论⽂进⼊华东师范⼤学图书馆及数据库被查阅、借阅；同意学校将学位论⽂加⼊全国

5、博⼠、硕⼠学位论⽂共建单位数据库进⾏检索，将学位论⽂的标题和摘要汇编出版，采⽤影印、缩印或者其它⽅式合理复制学位论⽂。本学位论⽂属于（请勾选）（）1.经华东师范⼤学相关部门审查核定的“内部”或“涉密”学位论⽂*，于年⽉⽇解密，解密后适⽤上述授权。（）2.不保密，适⽤上述授权。导师签名：本人签名：年⽉⽇*“涉密”学位论⽂应是已经华东师范⼤学学位评定委员会办公室或保密委员会审定过的学位论⽂（需附获批的《华东师范⼤学研究⽣申请学位论⽂“涉密”审批表》⽅为有效），未经上述部门审定的学位论⽂均为公开学位论⽂。此声明栏不填写的，默认为公开学位论⽂，均适⽤上述授权。方彬博士

6、学位论文答辩委员会成员名单姓名职称单位备注何积丰教授华东师范⼤学主席冯新宇教授南京⼤学蒲⼽光教授华东师范⼤学AhmedBouajjani教授巴黎第七⼤学MihealaSighireanu副教授巴黎第七⼤学StephanMerz教授法国INRIA实验室(不出席)AntoineMiné教授法国索邦⼤学(不出席)DeclarationI,BinFANG,declarethatthisthesissubmittedinpartialfulfilmentoftherequirementsfortheconferralofthedegreeofDoctorofPhiloso

7、phyinComputerScience,fromtheUNIVERSITEPARISDIDEROT–PARIS7andEASTCHINANORMALUNI-VERSITYiswhollymyownworkunlessotherwisereferencedoracknowledged.Thisdocumenthasnotbeensubmittedforqualificationsatanyotheracademicinstitution.BinFANGJuly13,2018IIAbstractThisthesiscontributestotheformalspe

8、cificationandverifica