CSE 216: Formal Methods

University of California, Santa Cruz

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.

Average GPA: 3.06

Instructors

Still loading. This can take a moment on a slow connection.

Loading My Class Grades