Skolan för
och kommunikation
KTH / CSC / Kurser / DD2452 / form09 / Literature

Formal Methods, form09

DD2452 Formal Methods: Literature

Course Literature

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.
Copyright © Sidansvarig: Dilian Gurov <>
Uppdaterad 2009-01-12