Differences

This shows you the differences between two versions of the page.

--- assignments:a3 [2007/11/02 23:31] – franck
+++ assignments:a3 [2007/11/02 23:34] (current) – franck
@@ Line 1: / Line 1: @@
 ====== Assignment 3 ======
 ===== Verification =====
@@ Line 6: / Line 7: @@
+===== Write a report =====
+In your report, describe the properties you checked.  Also explain how you checked them.  Furthermore, report the results of your verification effort.  Finally, draw some conclusions.
+The report should be roughly between 3 and 8 pages. These bounds are not absolute (but one page is probably not enough and 20 pages is too much).
+As the audience of your report, consider your fellow students in the course.