COMP 548
VERIFIED PROGRAMMING
The course will explore the mathematical underpinnings of reliable software. The students will learn how to use proof assistants to construct software along with a machine-checkable proof of its correctness. Basic concepts of logic, functional programming, static type systems and deductive verification will be covered. Graduate/Undergraduate Equivalency: COMP 408 .
Prerequisites & course information
Short Title: VERIFIED PROGRAMMING Department: Computer Science Grade Mode: Standard Letter Course Type: Lecture Credit Hours: 3 Restrictions: Enrollment is limited to Graduate level students. Course Level: Graduate
Sources
- Course catalogue ↗2026–2027