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

General Information:

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

Course work

Important Announcements

Course Administration

Marsha Chechik
Last updated Sept. 14, 2004