Homepage for CSC2125, Fall 2006

Topics in Software Engineering: Static Analysis of Programs

The course csc2125 will be offered every second year and is intended to cover recent advances in automated verification. The subject matter will vary from year to year. In 2004, the course focused on Automata and Infinite Games in model-checking. This year, we focus on static analysis of programs, with the goal of covering both classic and recent advances in this area. Readings will come from parts of the book

General Information:

Marsha Chechik
Office Hours: 
after class and by appointment 
BA 5236, X83820 
Tuesdays 3-6 p.m. Bahen Centre, room 4290 (note time change!)

Course work

Important Announcements

Course Administration

Marsha Chechik
Last updated Sept. 20, 2006