CS 4160
Last Updated
- Schedule of Classes - January 5, 2026 3:59PM EST
Classes
CS 4160
Course Description
Course information provided by the 2025-2026 Catalog.
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.
Prerequisites CS 3110 or permission of instructor.
Distribution Requirements (SMR-AS)
Last 1 Terms Offered 2022SP
Regular Academic Session. Choose one lecture and one discussion. Combined with: CS 5160
-
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 20 - May 5, 2026
Instructors
Clarkson, M
-
Additional Information
Instruction Mode: In Person
For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/
-
Class Number & Section Details
-
Meeting Pattern
- F Hollister Hall 110
- Jan 20 - May 5, 2026
Instructors
Clarkson, M
-
Additional Information
Instruction Mode: In Person
-
Class Number & Section Details
-
Meeting Pattern
- F Hollister Hall 110
- Jan 20 - May 5, 2026
Instructors
Clarkson, M
-
Additional Information
Instruction Mode: In Person
Share
Disabled for this roster.