Formal verification methods for hardware, software, and embedded systems such as theorem proving, property-based verification, equivalence checking, notions of correctness such as refinement, methods used in computer-aided verification including BDDs and SAT procedures. Prereq: ECE 275 and ECE 173 or CSCI 160. Dual-listing: ECE 678.