---
title: 学硕_代数形式化方法
---

任课教师：[张民](https://faculty.ecnu.edu.cn/_s43/zm2_6071/main.psp)

课程内容：使用 Maude 语言以状态搜索为主要方式对常见的问题进行形式化建模与性质验证

课堂评价：线下授课时会和学生有一定互动，备课较认真，课堂包括编程实操，也会花一些时间苦口婆心跟你讲人生道理。课程成绩按等第给分，给分较宽松。不点名。

考核方式：期末需要提交约5页的课程报告。附上了一篇满分报告作为示例。

- [课件](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕_代数形式化方法/代数形式化方法.pdf)
- [Maude 3.2.1 Manual](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕_代数形式化方法/Maude-3.2.1-manual.pdf)
- [满分报告](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕_代数形式化方法/课程报告-陈实-51255902014.pdf)