Algorithmic Verification COMP3153/COMP9153 24T3

Final exam

Posted by Paul Hunter Thursday 05 December 2024, 09:04:19 AM.

Hi all,

The final exam is now available from the course website under Exam Resources -> 2024 Final Exam .

It is due at 9am (AEDST) Friday 6 December

You may (and should) submit as often as you like - the last submission received before the deadline will be taken as your final submission. Submissions after the deadline will not be accepted by the system, so please do not leave it to the last minute!

I strongly recommend making a trial submission asap - if there are any issues these can be sorted out before tomorrow's deadline.

A reminder that this exam is to be taken under exam conditions. Access to passive resources (i.e. existing material) is acceptable; using active resources (e.g. forums, other students, gen AI) is strictly forbidden.

I will keep an eye on ed for the next few hours to clarify any points about the exam; but if in doubt use your best judgement and clearly state any assumptions you are making. Clear, well reasoned and flexible (i.e. easily generalisable) answers are encouraged.

If you have not yet submitted your formatif portfolio, please do so asap. I have to submit marks by 10am on Monday, so I need to clear the bulk of the non-exam marking today.

Paul

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