COMP 408 - VERIFIED PROGRAMMING
Long Title: VERIFIED PROGRAMMING
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 3
Must be enrolled in one of the following Level(s):
Description: 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 548.