Computer Science

P515 Specification and 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 515 and P 415.