assignments:a3
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| assignments:a3 [2009/03/04 14:09] – external edit 127.0.0.1 | assignments:a3 [2009/05/05 19:15] (current) – franck | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| ===== Verify your implementation ===== | ===== Verify your implementation ===== | ||
| - | Verify some properties of your implementation using Java PathFinder (JPF). Just running JPF on your code is not enough. Either you add something to your code that enables you to check a property. Or you | + | Verify some properties of your implementation using Java PathFinder (JPF). Just running JPF on your code is not enough. Either you add something to your code that enables you to check a property |
| ===== Write a report ===== | ===== Write a report ===== | ||
| - | In your report, describe the properties you checked. | + | In your report, describe the properties you checked. |
| 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.1236175796.txt.gz · Last modified: 2009/05/05 19:14 (external edit)