CS 7485 — Special Topics in Formal Methods
4 semester hoursGraduateLectureusually offered: fall, springtypical days: T/FBostonTraditionalrepeatable for credit
Offers various topics in formal methods. May be repeated without limit.
Offering history
| Term | Sections | Enrolled | Capacity | Full | Open seats/section |
|---|
| Fall 2025 | 1 | 4 | 30 | 13% | 26.0 |
| Spring 2026 | 1 | 7 | 15 | 47% | 8.0 |
Snapshots from scheduled scrapes — not live seat availability. "Full" can exceed 100% when sections over-enroll.
Meeting times
Share of recent sections by weekday: M 0% · T 100% · W 0% · Th 0% · F 100%
Common patterns: TF (100% of sections)
— in patterns, R means Thursday
Professors
Fall
Spring
Percentages are each professor's average share of the season's enrolled students in recent terms.
Links
Official catalog (CS course descriptions) · Student reviews on RateMyHusky · All CS courses · Plan it at numap.app