The tentative grading scheme for CSE6411 is as follows:

• 65% - Biweekly (approximately) assignments
• 25% - Project and Presentation
• 10% - Class participation

The assignments will involve small developments to familiarize students with the methods and tools.

The project will involve the formal development of a system, rigourously specified and verified, using the tools presented during the lectures. The system to be developed and the tools to be used are selected by the student (after checking with the instructor). Students will present their developments to the class at the end of the term.

You can view your marks here.