Computer Science | Introduction to Verification
P415 | 25486 | Johnson


(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.