淘豆网
下载此文档放大查看缩小查看   1/4
下载文档 文档分类:论文 > 通讯论文

可信软件前沿理论和技术.pptx


下载后只包含 1 个 PPTX 格式的文档,里面的视频和音频不保证可以播放,查看文件列表
0/100
您的浏览器不支持进度条
更多>>该用户其他文档
下载所得到的文件列表
可信软件前沿理论和技术.pptx
文档介绍:
课程简介教学目标和基本要求 通过介绍高可信软件研究领域中的国际前沿的理论和技术中科大-耶鲁高可信软件联合研究中心的相关研究 使同学们对高可信软件研究领域的理论和技术有初步了解参与(至少是关注)该领域的研究和开发工作 并激发同学们从事科研工作的热情课程简介课程主要内容 预备知识可信软件研究领域的快速、全面的评述(邵中,1)函数式编程语言、函数式编程和验证(陈意云,1)程序验证的逻辑基础(邵中、郭宇,2) 前沿专题出具证明编译器的构造技术(陈意云,3)高可信软件中的自动定理证明技术(李兆鹏,4)并行程序验证的理论和方法(张昱,5)国际上相关研究介绍(邵中,6和7)课程简介课程实践安排:五个专题用SML语言编写函数式程序(庄重,1)用定理证明辅助工具Coq学习逻辑推理(王僖,2)用Coq学习函数式程序的验证(张昊中,3)用Coq完成一个简单的命令式程序的验证(蒋信予,4和5)p进行定理证明和程序验证(庄重,6)由联合研究中心的博士生指导课程实践课程实践地点:电三楼517机房,14:00开始课程简介课程考查没有考试,有课程实践考查每天(最后一天除外)下午有练习题,经助教验收后给出等级区分:优、良、中、差根据各天的考查成绩给出本课程的成绩本课程不同于平时的课程欢迎课堂上发问欢迎课后讨论欢迎加入联合研究中心 内容来自淘豆网www.转载请标明出处.