Mar 28, 2024  
2016-2017 Catalog 
    
2016-2017 Catalog [ARCHIVED CATALOG]

Add to My Catalog (opens a new window)

EECS 272: Program Verification and Model Checking


[4 units]

Presents foundational concepts, techniques, and tools to verify whether a complex hardware or software system meets its target functional properties. Formal verification will be studied using model checking methods based on temporal logic formulations. Laboratory assignments will complement topics studied in theory.

Normal Letter Grade only. Laboratory included.


View course scheduling information




Add to My Catalog (opens a new window)