COMP2600: Formal Methods for Software Engineering - 2013

Lecture Material and Schedule

All lectures will be held at the D.N.F. Dunbar Physics Lecture Theatre (Building 39)

• Wednesday 9-10
• Thursday 11-12
• Friday 4-5

Lectures slides and associated material will be posted here as the semester progresses.

All being well, lecture recordings will be available through the COMP2600 Wattle site.

Lecture Plan

• Revision: Propositional Logic, Predicate Calculus
  Week 1, Wednesday, July 24
  (Slides [.pdf], Notes [.pdf]).
• Revision: Sets, Functions, Relations, Induction
  Week 1, Thursday, July 25
  (Slides [.pdf], Notes [.pdf]). Translation from English to Logic and Back [.pdf]).
• Revision: Basic Haskell
  Week 1, Friday, July 26
  (Slides [.pdf]), Notes [.pdf]).
• Types
  Week 2, Wednesday, 31 July
  (Slides [.pdf]), Notes [.pdf], Examples [.hs]).
• Structural Induction
  Week 2, Thursday, 1 August
  (Slides [.pdf]), Notes [.pdf]).
  Week 2, Friday, 2 August
  (Slides [.pdf]), Notes [.pdf]).
• Propositional & First Order logic specification
  Week 3, Wednesday, 7 August
  (Slides [.pdf]), Notes [.pdf]).
• Natural deduction (propositional logic)
  Week 3, Thursday, 8 August
  (Slides [.pdf]), Notes [.pdf]).
• Natural deduction (First Order logic)
  Week 3, Friday, 9 August
  (Slides [.pdf]), Notes [.pdf]).
• Hoare Logic
  Week 4, Wednesday 14 August to Friday 16 August
  (Slides [Part I, Part II])
• Total Correctness
  Week 5, Wednesday 21 and Thursday 22 August
  (Slides contained in Part II above)
• System Specification in Z -- 1
  Week 5, Friday, Aug 23
  (Slides [.pdf], Notes [.pdf]).
• System Specification in Z -- 2
  Week 6, Wed, Aug 28
  (Slides [.pdf], Notes [.pdf]).
• System Specification in Z -- 3
  Week 6, Thu, Aug 29
  (Slides [.pdf], Notes [.pdf]).
• System Specification in Z -- 4
  Week 6, Fri, Aug 30
  (Slides [.pdf], Notes [.pdf]).
  Z Specification Cheat Sheet [.pdf]).
• Week 7 - NO LECTURES
• Deterministic Finite Automata
  Week 8, Wed 25 and Thu 26 September (No Friday lecture)
  Slides: [pdf] [pdf 2×2 for printing]
• Non-Deterministic Finite State Automata and Grammars
  Week 9, Wed 2 and Thu 3 October (No Friday lecture)
  Slides: [pdf] [pdf 2×2]
• Context-Free Languages and Pushdown Automata
  Week 10, Wed 9 and Thu 10 October (No Friday lecture)
  Slides: [pdf] [pdf 2×2]
• Turing Machines and Computability
  Week 11, Wed 16 to Fri 18 October
  
• Guest Lectures (Non-Assessed)
  Week 12, Dates and Topics to be advised
  
• Exam Revision
  Week 13, Wed 30 October to Fri 1 November