研究生阶段丢失的文件

1. 课程

　　算法，编译原理，形式化，程序化设计语言

　　选修课：好的书，好玩的地方介绍

　　重要的点，实验室的报告PDF，国外学者文档的制作--表达方式，学长的一些优秀的讲课文档，好的表达方式，给听讲者好的视觉和理解

2. 硕士研究工作

　　逻辑验证，CEGAR，自己相关文档，和代码

　　Blast， SLAM，D

　　以及自己讲过的相关文档和PPT

　　学长们讲的PPT相关文档

3. 苏州培训文档

　　coq相关的资料和代码，ARTIST暑期讲习班

4. 本科毕业论文相关资料

5. Verds相关的资料

6. ocaml相关的资料

7. 车辆预测

8. 多处理器

9. 逻辑验证----

10. 模型检测-----

11. 多处理器变成艺术

12. 工作简历

13. python

14. androri---师兄讲

15. lex与yacc