Computer Science | Introduction to Verification
P415 | ALL | Johnson


P415 Introduction to Verification (3 cr.) P: C311. Tools and
techniques for rigorous reasoning about software and digital hardware.
Safety, reliability, security, and other design-critical applications.
Decision algorithms. Projects involving the use of automated
reasoning, such as model checkers, theorem provers, and program
transformation.