Winter 2023: Formal Verification of Hardware and Software

Winter 2023: Formal Verification of Hardware and Software

Course No:
EECS 598-002
Credit Hours:
4 credits
Instructor:
Karem Sakallah
Prerequisites:
Graduate standing in CSE

This course explores the latest advances in automated proof methods for checking whether or not certain properties hold under all possible executions of a complex hardware or software system. Specifically, we focus on the class of “control-centric” properties, namely those properties that are weakly-dependent on the data state of the system.

More info (pdf)