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.