 Tuesday Sept 10:
 Thursday Sept 12:
 Tuesday Sept 17:
 Thursday Sept 19:
 Tuesday Sept 24:
 Thursday Sept 26:
 Tuesday Oct 1:
 Thursday Oct 3:
 Tuesday Oct 8:
 Thursday Oct 10:
 Tuesday Oct 15: [check announcements]
 Thursday Oct 17: [check announcements]
 Tuesday Oct 22: [check announcements]

Formal Methods for Dependable Computing: From Models, through Software, to Circuits
Uploaded on Nov 4, 2010,
Speaker/Performer: Sanjit A. Seshia, Asst. Professor of EECS, UC Berkeley
youtube 48:59
 only first 10 minutes relevant to this course

Formal Versus Agile: Survival of the Fittest? pt1 youtube 9:25
 Formal Versus Agile: Survival of the Fittest by
Black, S.; Boca, P.P. ; Bowen, J.P. ; Gorman, J. ; Hinchey, M.;
Computer (Volume:42 , Issue: 9 )
Sept. 2009, 37  45 (talk is based on this paper which should also be read)

Formal Versus Agile: Survival of the Fittest? pt2 youtube 8:54
 Formal Methods
wikipedia
 Y2K problem
wikipedia

Formal Versus Agile: Survival of the Fittest? pt3 youtube 9:27
 Coverity wikipedia

Program transformation wikipedia

Formal Versus Agile: Survival of the Fittest? pt4 youtube 8:02 (needs flash)

Expressing Problem Specifications
Robert Lover
Elementary Logic
2008, pp 5366
 Thursday Oct 24: [check announcements]
 Tuesday Oct 29: [check announcements]
 Fall Study Break Oct 31  Nov 1
 Tuesday Nov 5:  THIRD QUIZ COVERING ABOVE MATERIAL
 Thursday Nov 7:
 Tuesday Nov 12:
 Thursday Nov 14:
 Tuesday Nov 19:
 Thursday Nov 21:
 Tuesday Nov 26:
 Thursday Nov 28:
 Tuesday Dec 3:
 Thursday Dec 5:
 NOTE: Final Exam Tentatively Scheduled for Sunday 8 Dec 2013.
 optional stuff we didn't get to ``I don't know anything, but I do know that everything is interesting if you go into it deeply enough.'' Richard P Feynman wikiquote