Course Schedule and Catalog
Course Schedule - Spring Semester 2021
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
COMP 503 001 (CRN: 23024)
REASONING ABOUT SOFTWARE
Long Title: REASONING AND SOFTWARE
Department: Computer Science
Instructor: Mamouras, Konstantinos
Meeting: 9:45AM - 10:40AM MWF (25-JAN-2021 - 30-APR-2021)
Part of Term: 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):
Graduate
Prerequisites: (COMP 382 AND COMP 215) OR COMP 482 OR COMP 409 OR COMP 509
Section Max Enrollment: 20
Section Enrolled: 8
Total Cross-list Max Enrollment: 20
Total Cross-list Enrolled: 11
Enrollment data as of: 9-OCT-2024 7:25AM
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
5-MAY-2021
2:00PM - 5:00PM W
Description: Our reliance on software of all forms is increasing by the day. As a result, it is more important than ever to ensure that programs function correctly and cannot be exploited by hostile adversaries. The field of formal methods takes on this challenge, developing algorithms and programming methodologies that can be used to formally reason about what happens when software executes on arbitrary inputs, often without actually executing the program. Such reasoning can be used, for example, to identify subtle bugs and vulnerabilities in programs, or to give mathematical proofs of program correctness. This is a hands-on introduction to the field of formal methods. In this class, you will learn the theoretical foundations of these systems; you will also implement a series of systems that can be used to reason about the correctness of C programs. Cross-list: COMP 403. Mutually Exclusive: Cannot register for COMP 503 if student has credit for COMP 403.