Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
Assignment 3

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

assignments:a3 [2010/12/31 11:31]
franck
assignments:a3 [2011/03/30 09:33] (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.+In your report, describe the properties you checked.  Also explain how you checked them.  Furthermore, report the results of your verification effort.  This time, there is no need for an abstract, an introduction and a discussion of related work.
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).
Last modified:
2011/03/30 09:33