Quick links

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
Follow us: Facebook Twitter Linkedin