清华大学软件学院研究生课程回忆
贺飞老师的课程，理论结合实际，研究了NuSMV的工具和语言的运用。
不错的课程，对软件形式化的讲解还是很好地。
资源包括Logic in Computer Science Modelling and Reasoning about Systems教材。英文原版的
2021-09-27 18:34:06
6.67MB
1
随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
2021-01-29 20:11:31
667KB
1