Course Schedule and Catalog

Long Title: VERIFIED PROGRAMMING

Department: Computer Science

Grade Mode: Standard Letter

Language of Instruction: Taught in English

Course Type: Lecture

Credit Hours: 3

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 408.