CS 357:
Advanced Topics in Formal Methods
Topics vary annually. Recent offerings have covered the foundations of static analysis, including decision procedures for important theories (SAT, linear integer constraints, SMT solvers), model checking, abstract interpretation, and constraint-based analysis. May be repeated for credit. Prerequisite: 256.
Terms: Aut
| Units: 3
| Repeatable
for credit
