Overview:

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

Instructor:

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

Time / Place:

3:30 – 4:45 MW, CSIC 2107

Course Materials:

[Syllabus]

[Tentative schedule]

[Project information]

[Lecture notes]

[Assignments]