- Schedule of Classes - June 2, 2019 7:14PM EDT
- Course Catalog - June 2, 2019 7:15PM EDT
Course information provided by the Courses of Study 2018-2019.
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.
Regular Academic Session.
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- TR Hollister Hall B14
Enrollment limited to: CIS students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates.
Disabled for this roster.