Tutorial Lectures


You will find material related to tutorials posted here.

  • Week (1): No tutorial
  • Week (2): Program Correctness with Dafny (example1, example2) (ref)
  • Week (3): Program Correctness with Dafny (series, ackerman, reversal, example)
  • Week (4): SMT Solver Z3 (link)
  • Week (5): Thanksgiving holiday (no tutorial)
  • Week (6): Data flow analyses (link)
  • Week (7): Data flow analyses (link)
  • Week (8): Synthesis (link)
  • Week (9): Model Checking with NuSMV (slides)
  • Week (10): Model Checking extras (slides)
  • Week (11): Testing (slides)
  • Week (12): No Tutorial. Make an appointment with your supervising TA if you have questions about your projects.