ECE 582 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.



Slash Listed Courses

Also offered as ECE 682 and may be taken only once for credit.


ECE 371, or CS 321, CS 333.