基于μ-演算的局部模型检测算法设计-应用数学专业论文.docxVIP

万方数据 万方数据 CODE：10402 NO.：2013142008 .： Classified Index： A Dissertation for the Master Degree of Science Local Model Checking for Propositional μ-Calculus Candidate ： Qianli Li Supervisor ： Prof. William Zhu、A.P. Hua Jiang Specialty ： Applied Mathematics Academic Degree Applied for ： Master of Science University ： Minnan Normal University Date of Oral Examination ： June，2016 闽 南 师 范 大 学 学位论文原创性声明 本人郑重声明：所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成 果。除了文中特别加以标注引用的内容外，本论文不包含任何其他个人或集体已经发表 或撰写的成果作品。对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式 标明。本人完全意识到本声明的法律后果由本人承担。 作者签名： 日期： 年 月 日 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意