Laboratory Exercises

Lab

Contents Submission deadline Lab 1

(a) Exercise Sheet 1

End of Period 3 Lab 2

(a) Exercise sheet 2

JML syntax definition.¶

End of Period 3 Lab 3

(a) Exercise Sheet 3

(b) Instructions.pdf (c) bitshift.smv (d) carcontroller.smv

(e) examples.zip NOTE 5 documents!

End of Period 3 You can find the lab rooms with this lab room map

To pass the course you must complete and submit lab 1, 2 and 3 assignments.