Lecturers to 6.897

Prof. Nancy Lynch:

  • Lecture 1
  • Lecture 2
  • Lecture 3
  • Lecture 4
  • Lecture 5
  • Lecture 6
  • Lecture 7
  • Lecture 8
  • Lecture 10
  • Lecture 12
  • Lecture 14
  • Lecture 15
  • Lecture 16
  • Lecture 20
  • Lecture 21
  • Lecture 22
  • Lecture 23
  • Lecture 24
  • Lecture 25
  • Lynch-Bologna Talk slides
  • HIOA Talk Slides

    Prof. Paul Attie:

  • Lecture 13
  • Live-Sim-Talk

    Dr. Stephen Garland

  • Index

    Prof. Daniel Jackson:

  • Slides

    Prof. Rajeev Alur:

  • Slides

    Prof. Michael Ernst:

  • Daikon Talk

    Prof. Henny Sipma

  • May 10 Lecture notes

    Students

    Natasha Neogi:

  • Nancy Leveson's paper

    Rui Fan, Mandana Vaziri, Stan Funiak:

  • Notes on Lamport's TLA+ Language and TLC model checker
  • Same as TLC_notes.pdf but in slide format

    Ilya Shlyakhter, Jayakanth Srinivasan, John Bellingham, Ken T. Takusagawa:

  • Spin presentation and examples
  • Spin installation notes for windows

    Andrej Bogdanov:

  • Andrej Bogdanov's Notes (for Lecture 15)

    Rodrigo Rodrigues:

  • Notes for Lecture 21