There are four obligatory hand-in assignments. Students must work in groups of 2-3 and each group should be registered in Fire before the first assignment.

Please use the Fire system to upload submissions to the labs. All feedback for the hand-in assignments will be provided there. A preliminary lab plan is below.

Lab 1: Testing

Release date: 01/11 at 10.00
Primary deadline: 19/11 at 18.00
TA comments available by: 24/11
Final deadline for potential revisions: 02/12 at 18.00

Lab 2: Debugging

Release date: 15/11 at 10.00
Primary deadline: 26/11 at 18.00
TA comments available by: 02/12
Final deadline for potential revisions: 10/12 at 18.00

Lab 3: Formal Specification and Verification in Dafny

Release date: 24/11 at 10.00
Primary deadline: 08/12 at 12.00
TA comments available by: 14/12
Final deadline for potential revisions: 18/12 at 18.00

Lab 4: Formal Verification and Weakest Pre-condition Calculus

Release date: 05/12 at 10.00
Primary deadline: 15/12 at 18.00
TA comments available by: 03/01
Final deadline for potential revisions: 07/01 at 18.00

Lab session schedule

During lab sessions student are expected to work on the current hand-in assignments. At least one TA will be available for answering questions and providing feedback.

Week, date	Teacher	Topic
44-45	N/A	No lab session (Self studies) We suggest students use the 2 hours in their own time to familiarize themselves with JUnit.
46, 14/11	DL, PJ	Lab 1: Testing
47, 21/11	DL, NV	Lab 2: Debugging
48, 28/11	DL, NV	Lab 1/Lab2/Lab 3
49, 05/12	NV, PJ	Lab 3: Specification + Dafny
50, 12/12	DL, PJ	Lab 4: Verification

(DL = David Lidell, NV = Nachiappan Valliappan, PJ = Prabhat Kumar Jha )