Automated Reasoning about Software
COS 516/ECE 516
1262
1262
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; automatic decision procedures in modern solvers for Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (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: 0
- Capacity: 40
- Class Number: 20914
- Schedule: MW 10:40 AM-12:00 PM