Skip to main content
Princeton Mobile homeCourses home

Automated Reasoning about Software

COS 516/ECE 516

Info tab content
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.
Instructors tab content
Sections tab content

Section L01

  • Type: Lecture
  • Section: L01
  • Status: O
  • Enrollment: 7
  • Capacity: 40
  • Class Number: 21517
  • Schedule: MW 11:00 AM-12:20 PM