May 24, 2024  
2023-2024 Catalog 
    
2023-2024 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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



Add to Portfolio (opens a new window)