COS 516: Automated Reasoning about Software
An introduction to algorithmic techniques for reasoning about software. Basic concepts in logic-based techniques including model checking, invariant generation, symbolic execution, and syntax-guided synthesis; automatic decision procedures in modern solvers for Boolean Satisfiability (SAT) and Satisfiability Modulo Theory (SMT); and their applications in automated verification, analysis, and synthesis of software. Emphasis on algorithms and automatic tools.
Semester:
Fall18
Lectures:
Monday,Wednesday, 1:30-2:50
Location:
Jadwin Hall A09
Faculty
Zachary Kincaid
Office:
Computer Science 219
Extension:
5330
Email:
zkincaid
Additional Information
The Graduate Coordinator is Nicki Mahler
Email:
ngotsis
Office:
Computer Science 213
Extension:
5387