Description: UMD_logo

CMSC 630 --- Foundations of Software Verification

Spring 2015




This course is about the principles of software verification:  the theory and practice of systematically reasoning about the correctness of software.




Rance Cleaveland (rance “at” cs dot umd dot edu)
4111 AV Williams Building
Office Hours: MW 2:30 – 3:30, and by appointment

Time / Place:

3:30 – 4:45 MW, CSIC 2107

Course Materials:


[Tentative schedule]

[Project information]

[Lecture notes]