Algorithmic Verification COMP3153/COMP9153 25T3

Welcome to COMP3153/9153

Posted by Paul Hunter Tuesday 16 September 2025, 12:02:57 PM, last modified Tuesday 16 September 2025, 12:19:06 PM.

Hi all,

Welcome to COMP3153/9153 - Algorithmic Verification. This is just a brief announcement to introduce you to various aspects of the course: the website, the learning interfaces, and the staff.

This term COMP3153/9153 will be fully face-to-face for all learning aspects. I encourage you to familiarise yourself with the course website:

http://www.cse.unsw.edu.au/~cs3153

as it provides the starting point for all aspects of the course.

Lectures begin today at 14:00 in Ainsworth G02. Details of the lectures can be found on the course website once you have logged in to webCMS. Lectures will be recorded, and the recording will be available shortly after the lecture finishes. No assurance is made about the quality/completeness of the recording - so the only way to ensure you have best lecture experience is to attend the lectures!

Tutorials begin in Week 1 - no prior work is needed for the first tutorial, however for this first week please come along to the start of least one tutorial (see webCMS for the tutorial details) as I will be clarifying how assessments and tutorials will work through the term, and setting you all up for the main assessments. Ronald, Dao and Ye Li will be the tutorial team for this term.

The course will be using the discourse platform for course discussion. Please click here to join the forum.

The course will also be using the formatif platform for weekly assessment tasks. Details will follow in the first lecture and in the subsequent tutorials.

Looking forward to meeting you later,

Paul Hunter
(Course Convenor)

PS While you wait for the lecture to start, have a think about what is wrong with the following code fragment released on Ethereum a few years ago:

transfer(account to, account from, uint amount){
    require (balances[from] > amount);
    balancesFrom := balances[from] - amount;
    balancesTo := balances[to] + amount;
    balances[from] := balancesFrom;
    balances[to] := balancesTo;
}