EECE 585 - Formal Verification of Cyber-Physical Systems

This course provides an introduction to techniques to formally and rigorously verify whether a system meets a desired set of requirements using cyber-physical systems (engineered systems that integrate computation with physical components) as a foundation. Topics will include construction of models of physics and computation, identifying and proving correctness of system invariants, analyzing the reachability, stability, and progress of a system, and examining the role of data in the design of verification algorithms.

Prerequisites & Notes: EECE 501; or instructor permission.
Credits: 4
Grade Mode: Letter