CS 5160
Last Updated
- Schedule of Classes - February 7, 2022 11:35AM EST
- Course Catalog - January 18, 2022 1:31PM EST
Classes
CS 5160
Course Description
Course information provided by the Courses of Study 2021-2022.
An introduction to formal verification, focusing on correctness of functional and imperative programs relative to mathematical specifications. Topics include computer-assisted theorem proving, logic, programming language semantics, and verification of algorithms and data structures. Assignments involve extensive use of a proof assistant to develop and check proofs.
When Offered Spring.
Prerequisites/Corequisites Prerequisite: CS 3110 or permission of instructor. Students are expected to be proficient with programming (e.g. CS 2110), and proof (e.g. CS 2800 or a mathematics course numbered 3000 or above).
Regular Academic Session. Choose one lecture. Discussion optional. Combined with: CS 4160
-
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
-
Class Number & Section Details
-
Meeting Pattern
- TR Bill and Melinda Gates Hll G01
- Jan 24 - May 10, 2022
Instructors
Clarkson, M
-
Additional Information
Instruction Mode: In Person
Enrollment restricted to CS MEng students only. All others, including early admits must add themselves to the waitlist during add/drop in January.
-
Class Number & Section Details
-
Meeting Pattern
- F Phillips Hall 203
- Jan 24 - May 10, 2022
Instructors
Clarkson, M
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- F Hollister Hall 110
- Jan 24 - May 10, 2022
Instructors
Clarkson, M
-
Additional Information
Instruction Mode: In Person
Share
Disabled for this roster.