Nov 12, 2019  
2018-2019 Catalog 
2018-2019 Catalog [ARCHIVED CATALOG]

[Add to My Catalog]

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
Repeatable for Credit: No
Laboratory included
Normal Letter Grade only

Requisites and Restrictions
Instructor Permission Required: No

Fall 2019 course scheduling information

Spring 2020 course scheduling information

[Add to My Catalog]