Computer Science

P415 Introduction to Verification

Credits: 3

Prerequisite(s): CSCI-C 311.

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. Credit not given for both CSCI-P 415 and P 515.