Unformatted text preview: Style/Readability: documentation, headers, description of functions, description of variables, description of while-loops, indentation, etc. 80 15 20 10 10 10 15 Special Innovations (extra credit possible for up to 10 points) Written Report Algorithm complexity discussed Presentation of results 20 10 10 Late Policy: NO LATE PROGRAMS WILL BE ACCEPTED Early Submission bonus (24 hrs before due date/time) 5 A project that has a program that fails to compile can earn at most 25%. If public sources are not documented, the project may receive a grade of 0....
View Full Document
- Winter '07
- Correctness, Formal verification, formal methods, Hoare logic, C Sharp