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

Flemming Nielson, Hanne Riis Nielson, Chris Hankin. Principles of Program Analysis, 2nd edition, 2005. Springer. The book should be available in UofT bookstore, or ordered from Amazon.ca.

readings

General Information:

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

Course work

Important Announcements

Course prerequisites: CSC2108 (Model Checking) or permission of the instructor.
Sept. 12, 2 p.m. is the organizational meeting. Please watch this space for potential proposals for running the course, and bring your ideas to class.
For additional reading material and notes on lectures, please refer to the syllabus.

Course Administration

Workload: Reading, understanding, discussing, presenting assigned material and relevant exercises.
Tool resources: A partial list is here.

Marsha Chechik

Last updated Sept. 20, 2006