Computer Science and EngineeringCSE 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