CS 357: Advanced Topics in Formal Methods
Topics vary annually. Possible topics include automata on infinite words, static analysis methods, runtime analysis methods, verification of real-time and hybrid systems, and formalization of middleware services. May be repeated for credit. Prerequisite: 256.
Terms: Aut
| Units: 3
| Repeatable
for credit
Instructors:
Aiken, A. (PI)
;
Dill, D. (PI)
Filter Results: