1 / 11

迎新报告

迎新报告. 刘士超 2011-08-31. 主要内容. 自我介绍 学习 情况 学习感受 建议. 自我介绍. 姓名：刘士超 年级 ： 09 级硕博连读 导师 ：蒋颖 邮箱 ： liusc@ios.ac.cn. 学习情况. 两年来看过的书籍： Communicating and Mobile Systems: the π -calculus, Robin Milner Basic Category Theory for Computer Scientists, Benjamin C.Pierce

honorato-hurley
Download Presentation

迎新报告

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 迎新报告 刘士超 2011-08-31

  2. 主要内容 • 自我介绍 • 学习情况 • 学习感受 • 建议

  3. 自我介绍 • 姓名：刘士超 • 年级：09级硕博连读 • 导师：蒋颖 • 邮箱：liusc@ios.ac.cn

  4. 学习情况 • 两年来看过的书籍： • Communicating and Mobile Systems: the π-calculus, Robin Milner • Basic Category Theory for Computer Scientists, Benjamin C.Pierce • An Introduction to Bisimulation and Coinduction, DavideSangiorgi • Model Checking(partial), Edmund M.Clarke, Jr.,OrnaGrumberg and DoronA.Peled • An Introduction to Modal Logic(partial), G.E. HUGHES and M.J. CRESSWELL

  5. 程序验证 • 系统化的程序证明 • 基于霍尔逻辑(Hoare Logic) • 断言(assertion) • {p} S {q} preconditionstatement postcondition • 推理系统 • 由一些公理和推理规则组成 E.g. {p} skip {p} {p} S {q} {q} S’ {r} {p} S;S’ {r} • 程序正确性 • 部分正确性 • 完全正确性

  6. 程序验证 • 程序验证面临的挑战 • 程序的终止性 • WHILE 循环 • 并发(多核)程序的正确性验证 • Deadlock freedom • Dynamic memory • Shared memory • 指针程序的验证 • 指针地址的重命名

  7. 参考文献 • Krzysztof R.Aptet al. Verification of Sequential and Concurrent Programs, Third, Extended Edition • Jean-Francois Monin, Understanding Formal Methods.

  8. 学习感受 • 基础知识不够扎实 • 视野不够开阔 • 英语水平有待提高 • 不会提问题

  9. 建议 • 基础知识要扎实 • 培养兴趣 • 学好英语 • 多听些报告和讲座开阔视野

  10. Questions？

  11. 谢谢！

More Related