程序正确性验证的几个问题.pdf

,
学校代号 学 号 如
分 类 号
彻消大掌
博士 学位论文
刀
程序正确 陛验证 的几个 问题
学位 申请人 姓名 范 年柏
、
培 养 单 位 数学 与计 量经 济学 院 软 件学 院
导师 姓名及 职称 周叔 子 教授 张 大方 教授
学 科 专 业 应 用数学
研 究 方 向 软件可靠 性工 程
论 文 提 交 日 期 年 月 日
学校代 号
学 号
湖南大学博士学位 论文
程 序正确性验证 的几 个 问题
学位 申请人 姓名 范年柏
导师 姓名及 职称 周叔子 教授 张大方 教授
、
培 养 单 位 数学与计量经济学 院 软件学院
专 业 名 称 应用数学
论 文 提 交 日 期 年 月 日
论 文 答 辩 日 期 年 月 日
答辩 委员会主 席 王耀 南 教授
R e s e ar e h o n S o m e P r o b le m s a b o u t P r o v in g th e C o er e tn e s s o f
P r o g r a 们
,
湖 南 大 学
学位论文原 创性声 明
本人 郑 重 声 明 所呈 交 的论文 是 本人在 导师 的指 导下 独立进行 研究所
。
取得的研 究成 果 除 了文 中特 别加 以标注 引用 的 内容外 , 本论文 不包含任
。
何其他个人或 集体 已 经 发表 或 撰写 的成 果 作品 对本文的研 究做出重 要 贡
。
献的个 人和 集体 , 均 己在 文 中以 明确 方 式标 明 本 人 完全意识 到本 声 明 的
。
法律后 果 由本人 承担
作 者 签 名
长协 日期 户户夕年 “ 月 矛 日
学位论文版权使 用授 权书
、
本 学位 论文 作者完全 了解学校有关保留 使用 学位论 文 的规定 , 同意
学校保 留并 向国家有关 部 门或机构送交论 文