COS516: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: Fall24
Lectures: Monday,Wednesday 11:00 - 12:20
Location: TBD

Faculty

---

Aarti Gupta
Office: Computer Science 220
Extension: 8017
Email: aartig

Additional Information

---

Registrar's Fall24 COS offerings
CS Course Schedule
The Grad Coordinator is Nicki Mahler.
Email: ngotsis
Office: Computer Science 213
Extension: 5387