_____________________________________________________________________

[ANU] [FEIT] [DCS] [Jim Grundy] [COMP8033] [ML] [HOL] [Exercises] [Lectures] [Assignments]

_____________________________________________________________________

Assignments

Assignment 1:: Verification of Basic Combinatorial Circuit Components
Assignment 2:: Verification of an n-bit Adder
Assignment 3:: Software Verification

_____________________________________________________________________

[ANU] [FEIT] [DCS] [Jim Grundy] [COMP8033] [ML] [HOL] [Exercises] [Lectures] [Assignments]

_____________________________________________________________________

Feedback & Queries: Jim.Grundy@anu.edu.au
Date Last Modified: Wed 22 Mar 2000
Universal Resource Locator: http://cs.anu.edu.au/student/comp8033/assignments.html
Copyright © 2000 The Australian National University
All rights reserved