Skip to main content
Courses

CSCI-P 515: SPECIFICATION AND VERIFICATION (3 credits)

About

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.

Resources