Differences

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

--- assignments:a3 [2009/05/05 19:14] – franck
+++ assignments:a3 [2009/05/05 19:15] (current) – franck
@@ Line 9: / Line 9: @@
 ===== 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.
+In your report, describe the properties you checked.  Also explain how you checked them.  Furthermore, report the results of your verification effort.
 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).
+This time, there is no need for an abstract, introduction and conclusion.
 As the audience of your report, consider your fellow students in the course.