CS 579 Formal Verification of Hardware/Software Systems

Introduction to the formal verification of functional correctness of hardware and 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, circuit verification, microprocessor verification, and system software verification.