Formal Methods, form09

Course Literature

• Michael Huth, Mark Ryan: Logic in Computer Science, Cambridge University Press, 2000.
• Lecture Notes/Slides: [Intro] [ESC/Java] [Owicki-Gries] [SPIN] [Extro]
  
• Tutorials/Exercises: [LTL Exercises] [CTL Exercises]
  
• Handouts: [LTL] [CTL]

Additional Reading (optional)

• A paper by Leino and Schulte, intended as a student's guide to understanding automatic program verification.
  
• A paper by Barnett and others on using and verifying object invariants.