SWEN 324 (2021) - Software Correctness



26/7/2021: Lecture Cancelled:  Tues 27 July

No lecture Tuesday - James is unable to be here.

20/7/2021: Re: Annoucements

Lectures this week:
  • Tuesday - looking at remaining questions from last week, plus a few new (easy! rabbity!) ones.
  • The question list is re-sorted to better reflect the difficulty of the questions
  • We can talk about A1 in Tuesday's lecture, but that will be more of a focus on thursday

Assignment A1:
  • Q4 has been updated - there's a v1.0 of the assignment out.
  • Two of the lemmas to verify now have preconditions.
  • The submission oracle has been updated to match, and thus hopefully handle more solutions