CS 7430 — Formal Specification, Verification, and Synthesis
4 semester hoursGraduateLecturetypical days: M/W/ThBostonTraditional
Covers software and system modeling (how to formally describe the behavior of software and systems); specification (how to formally state the properties that the system should have); verification (how to check whether—and ultimately prove—that a system satisfies its specification); and synthesis (how to automatically generate software and systems that are "correct-by-construction").
Offering history
| Term | Sections | Enrolled | Capacity | Full | Open seats/section |
|---|---|---|---|---|---|
| Fall 2023 | 1 | 24 | 30 | 80% | 6.0 |
| Spring 2026 | 1 | 9 | 20 | 45% | 11.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 100% · T 0% · W 100% · Th 73% · F 0%
Common patterns: MWR (73% of sections), MW (27% of sections) — in patterns, R means Thursday
Professors
Fall
- Stavros Trypakis (100% of students) · reviews
Spring
- Stavros Trypakis (100% of students) · reviews
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