COMP 4161: Advanced Topics in Software Verification
NICTA Advanced Course, Session 2/2010
Home
Course Outline
Lectures
Assignments
Exam
Reading
Exam
The exam is a 24h take-home exam due 11:59pm on Tue. 12 Nov. Exam specification [
pdf
] and theory file [
thy
].
You need to submit a .thy file
give cs4161 exam Exam.thy