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)