A repository of some summary about formal methods Please read the thesis.pdf to overview the paper.
thesis.tex是Latex的主文件,打开以编辑论文内容。 thesis.pdf是输出的PDF文件,打开以预览论文内容。 (没有放在body文件夹中是为了编辑方便,因为好像没什么太多的内容。) 论文的封面设置在\body\cover.tex 论文的摘要设置在\body\abstract.tex