Algorithmic Verification COMP3153/COMP9153 24T3

Revision/review lecture (Monday) + pizza!

Posted by Paul Hunter Friday 15 November 2024, 11:28:31 AM.

Hi all,

I've managed to book a room for one final 3153/9153 lecture for next Monday, 2-4pm in O'Shane G05 (i.e. usual time and place).

This will just be a review of the course - there will be no new content. However there will be pizza outside the lecture room beforehand. So if it's been a while since you made it to a Monday lecture - come along to this one.

I will clarify the assessment requirements (i.e. formatif & details of the final exam).

I hope to go through some solutions to the Tutorial questions for timed systems , as well as work through another timed system example.

I will also cover any other topic you especially would like me to go through - so please bring your questions (or let me know in advance).

The lecture should be set up to be recorded, but I've had issues with these ad-hoc lectures in the past, so the best way to be sure that you see the content is to come along in person!

Hope to see many of you on Monday,

Paul

Formatif stream B questions

Posted by Paul Hunter Friday 08 November 2024, 07:41:41 PM.

Hi all,

The stream B questions for P/C/D level tasks are now viewable from the course website here . There will be one further HD level stream B task which I will get up as soon as I have completed the diagrams. I will add them as tasks to formatif shortly too, but thought you'd appreciate the questions so you can work on them asap. I will put up the tikz code for any diagrams appearing if you want to draw them in LaTeX.

As mentioned earlier, Mark and I will be marking these and providing feedback continuously over the next week - so you can submit them (through formatif) as soon as you have completed them. First (serious) attempts should be made before the start of Week 11, but the hard deadline for all tasks to be considered will be the start of the exam.

Paul

Peer review delays

Posted by Paul Hunter Monday 30 September 2024, 12:15:25 PM.

Hi all,

Due to technical issues I haven't been able to set up the peer review allocation yet - which is why the link is not yet working. I hope to have it set up in the next 24 hours and I'll push the deadline back a week. This delay has also interfered with getting out the Stream B questions, so the deadline for that will be adjusted too.

Apologies for the delay.

Paul