COMP 4161: Advanced Topics in Software Verification
Data61 Advanced Course, Term 3/2019
Home
Course Outline
Lectures
Assignments
Exam
Reading
Forum
Assignments
There will be three written assignments during the course. Some of these will involve proofs in the Isabelle theorem prover. They will be made available from this page as the course progresses.
Assignment 1:
assignment
[pdf]
, Isabelle template
[thy]
, LaTeX style (optional)
[sty]
You may collect your marked assignment. Run (on a CSE machine):
~cs4161/bin/classrun -collect a1
or use the
web interface
.
Assignment 2:
assignment
[pdf]
, Isabelle template
[thy]
Assignment 3:
assignment
[pdf]
Isabelle template
[thy]
C program
[c]
AutoCorres
[tar.gz]