*****COURSES ARE SUBJECT TO CHANGE*****
Mathematical techniques for analyzing systems to prove rigorous guarantees about their behavior. Fundamental algorithms for and advanced topics in modeling, specification, verification, correct-by-construction synthesis, and testing. Applications to hardware/software design, cybersecurity, robotics, machine learning. CSE 103 or equivalent recommended. Enrollment restricted to graduate students. Undergraduate may enroll by permission of instructor.
5 Credits
Year | Fall | Winter | Spring | Summer |
2022-23 |
|
|
|
|
2021-22 |
|
|
|
|
2020-21 |
|
|
|
|
While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.