Print Settings

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.
Terms: Aut | Units: 3 | Repeatable for credit
Instructors: ; Zeljic, A. (PI)
© Stanford University | Terms of Use | Copyright Complaints