ECE 682 Formal Verification of Hardware/Software Systems

Objective is to introduce the main formal verification methods of hardware/software systems. Topics to be covered include: formal logics for system verification (first-order logic, higher order logic, temporal logic), formal specifications, theorem proving systems, microprocessor verification, and system software verifications. Also offered as ECE 582 and may be taken only once for credit.