Temporal Logic and Model Checking

Lecturer: Mike Gordon
Taken by: Part II
Number of lectures: 8
Time and place: 11:00 Mon/Wed/Fri in LT2, WGB, starting April 25, 2014
Official web page.

Printed handout (1up version), updated handout,
topics and corresponding slides, slides.

 The examinable material is what is covered in the lectures. 

Lectures (won't be accurate until the lectures are actually given):
Apr 25, Apr 28, Apr 30,
there is no lecture on May 02,
May 05, May 07, May 09, May 12, May 14.

Two examples classes will be run by Kathy Gray. Further details will appear here.

Exercises and solutions (material for Q14 and Q15 may not be covered in the lectures).

Relevant old exam questions.

Additional reading and some interesting links.

Feedback form.