Homepage for CSC2125, Fall 2004

Topics in Software Engineering: Logic, Automata and Games in Automated Verification

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. This year, we focus on Automata and Infinite Games in model-checking, and will cover parts of the book

Erich Gradel, Wolfgang Thomas, Thomas Wilke, eds. Automata, Logics and Infinite Games, 2002. Springer. The book is available in UofT bookstore, or its electronic edition can be accessed by clicking on the book title.

General Information:

`Instructor:`	`Marsha Chechik`
`Office Hours:`	`after class and by appointment`
`Office:`	`BA 5236, X83820`
`Lectures:`	`Tuesdays 2-5 p.m. Bahen Centre, room 7172`

Course work

Tentative syllabus

Important Announcements

Course prerequisites: general knowledge of automata theory and model-checking. CSC2108 or permission of the instructor.
Sept. 14 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.

Marsha Chechik

Last updated Sept. 14, 2004