CS 4160

Last Updated

  • Schedule of Classes - May 15, 2019 12:56PM EDT
  • Course Catalog - March 4, 2019 1:00PM EST

CS 4160
Formal Verification

Course information provided by the 2018-2019 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/Corequisites Prerequisite: CS 3110.

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 17010 CS 4160   LEC 001

  •  

  • Instruction Mode: In Person

    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.