|
Oct 03, 2024
|
|
|
|
EECS 272: Program Verification and Model Checking Units: 4
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.
Course Details Repeats Allowed for Credit: 0
Laboratory included Normal Letter Grade only
Requisites and Restrictions Instructor Permission Required: No
View course scheduling information
Add to My Catalog (opens a new window)
|
|