Computer Science | Introduction to Verification
P415 | 14859 | Steve Johnson


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.