CS 579 Formal Verification of Hardware/Software
3
Not currently offered
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.
CS 320 & CS 333