main navigation
my pace

CS 614 Logic and Formal Verification

Course Description: A survey of the logical foundations of mathematics, the mechanization of the reasoning, and relationships to computer science. Propositional logic and first order logic; decision procedures for equality; notions of proofs and models; model checking and theorem proving based techniques; completeness theorem; Hoare logic and application of logic to formal software verification, i.e., the use of logic to specify properties of prove some small programs, the implementation of a small theorem prover in a functional programming language, and a significant amount of reading of recent research results.

Course Rotation:NY:WP;Spring


3 credits