Computer Science and Engineering

CSE 216 Formal Methods

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. Course includes a final project.

Requirements

Prerequisite(s): CSE 103 or equivalent recommended, but not required. Enrollment is restricted to graduate students; undergraduates may enroll by permission of instructor.

Credits

5

Quarter offered

Fall

Instructor

Daniel Fremont