是安徽工业大学的协议分析与测试这门课的实验报告，内容包括SMV模型检测工具的使用，哲学家问题的建模与分析，AB协议的建模与分析等等。