Wednesday, March 16, 2005


Following discussion in class yesterday, there will be no further meetings this week.

Because I was unable to provide you with materials last week, there is no longer time for you to prepare oral presentations, so your oral presentation has been CANCELLED. Instead we will discuss two key papers in class. You should prepare for these classes by reading the papers, identifying the key ideas they introduce, and noting some questions for discussion.

Next week we will meet on

Thursday, March 10, 2005

CTL example

Computing interpretations of CTL formulae for a simple example with four states.

Sunday, March 06, 2005

Assignment 1 Submission

The correct command for this should be submit msc propm 1 Apologies that this is past the deadline - if you have not already submitted (or wish to resubmit) please do so by 0900 tomorrow 7th March.

Thursday, March 03, 2005

mu-calculus and CTL

Ch 6 of Model Checking No lecture 8th March. Meet instead on Wednesday 9th 2pm.

Tuesday, March 01, 2005

mu-calculus and CTL

  • Syntax and Semantics
  • Monotone operators
  • EG f = nu Q. f /\ EX Q
  • EF f = mu Q. f \/ EX Q