COMS W4117
Compilers and Translators:
Software Verification Tools
Structure of Final Report

Final Report

• The final report for COMS W4117 is due Thursday, December 6, 2007.
• Bring one paper copy to class and email me an electronic copy that I can post on the course website.
• The report should be around 15-20 pages in length.
• It needs to be singly authored, but you can use other resources to help prepare it. Cite all sources used to prepared your report (people, books, papers, websites, etc.)

Structure of Final Report

• I suggest the following structure for your report:
1. Introduction
• State purpose of report, summarize its findings, and outline the structure of the presentation.
2. Tool Selected
• Describe name of tool, what it does, why it is important, who invented the tool and when.
3. Use of Tool
• Describe how to use the tool with two or three representative examples. Explain the examples.
4. How the Tool Works
• Describe how the tool is invoked, its architecture, algorithms, and underlying theory.
5. Tool Evaluation
• Describe how well the tool works. Include some comments on ease of use, ease of learning, quality of documentation. Describe how you designed your test suite, and include the tests in an appendix. Include performance results. What changes, if any, would you recommend for the next version of the tool.
• See Lariviere evaluation for a sample evaluation from a previous course.
• See Lariviere presentation for a sample final presentation from a previous course.
6. Conclusion
• State what you learned from this project and summarize your evaluation.