Advanced Topics in Formal Methods
Download as PDF
Course Description
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.
Grading Basis
ROP - Letter or Credit/No Credit
Min
3
Max
3
Course Repeatable for Degree Credit?
Yes
Total Units Allowed for Degree Credit
999
Course Component
Lecture
Enrollment Optional?
No
Programs
CS357
is a
completion requirement
for: