This is an old revision of the document!

Course Syllabus

Lectures

Time: Mondays, 10:30-12:00 and Tuesdays, 14:30-16:00
Location: Stong College, room 221 (Mondays) and TEL Building, room 0004 (Tuesdays)
Instructor: Franck van Breugel, franck@cse.yorku.ca
Office Hours: Lassonde Building, room 3046

Labs

Time: Thursdays, 14:30-15:30
Location: Lassonde Building, lab 1004
Teaching Assistant: Qiyi Tang, qiyitang@cse.yorku.ca

Description

Expected Learning Outcomes

Readings

The textbook for this course is

Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press. 2008.

Additional reading material will be provided on this course wiki.

Evaluation

Students can view their marks using the ePost system.