CS 4160

CS 4160

Course information provided by the Courses of Study 2019-2020.

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.

View Enrollment Information

Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 12512 CS 4160   LEC 001

  • Instruction Mode: Hybrid - Online & In Person