Lectures are in room 200-219 in the History corner, TuTH, 9:30-10:45.
Program analysis and formal verification are similar research areas with largely separate research communities, mostly for historical reasons. However, a lot of the most creative recent work in both areas has resulted from ideas and techniques from one field being imported into the other. This course is intended to promote that cross-fertilization by covering major ideas from each field that may be broadly useful. We expect it will be of interest to students working on program analysis, verification, and other areas where these techniques may be applicable -- but not yet widely applied. The emphasis will be on methods that are applicable in practice, although the underlying theory will also be taught. Students will do homeworks and a final project.Assignment 1 is due Tuesday, Oct. 25
Assignment 2 is due Tuesday, Nov. 8
Assignment 2 solutions
Assignment 3 is due Monday, Dec. 12