Contents

• The Project Proposal (originally at Oxford)
• The People
• Events
• Publications     Updated May 2008
• Final report (2000) and EPSRC's assessment of it.

New and forthcoming

• Results on the probabilistic mu-calculus qMu
• Scalar outcomes suffice for finitary probabilistic testing
  
  

  Abstraction, Refinement and Proof for Probabilistic Systems Springer Verlag Published January 2005.