Course Schedule - Spring Semester 2019

     

COMP 408 001 (CRN: 26374)

VERIFIED PROGRAMMING

Long Title: VERIFIED PROGRAMMING
Department: Computer Science
Instructor: Mamouras, Konstantinos
Meeting: 2:30PM - 3:45PM TR AEL B209 (7-JAN-2019 - 19-APR-2019) 
Session: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Course Materials: Rice Campus Store
 
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
Section Max Enrollment: 50
Section Enrolled: 2
Total Cross-list Max Enrollment: 100
Total Cross-list Enrolled: 9
Enrollment data as of: 27-OCT-2021 5:08AM
 
Additional Fees: None
 
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
30-APR-2019  
9:00AM - 12:00PM T DCH 1046
 
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. Cross-list: COMP 548.