Winter 2023: Formal Verification of Hardware and Software

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.