User Tools

Site Tools


assignments:a3

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
assignments:a3 [2009/05/05 19:14] franckassignments:a3 [2009/05/05 19:15] (current) franck
Line 9: Line 9:
 ===== Write a report ===== ===== 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). 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. As the audience of your report, consider your fellow students in the course.
  
assignments/a3.1241550859.txt.gz · Last modified: 2009/05/05 19:14 by franck

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki