---
title: 软件分析与验证前沿
description: "课程代码: SE3343"
## 2025-2026学年上学期
### 苏亭
- 很好的一门课, 只不过平时需要做的事比较多, 只想混学分不建议来
- [实验作业](labs/)