Computer Science

P515 Specification and Verification

Credits: 3

Prerequisite(s): CSCI-C 311 recommended.

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.

Spring 2019

Instructor: Sam Tobin-Hochstadt
Time: 11:15AM-12:30PM Tue, Thu
Location: Informatics West, Room 105