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. Expected preparation: Solid background in digital systems and discrete mathematics.