Automated Verification: Credit

To receive credit in this course you need to:
  1. Submit a school solution of one of the assignments, as requested by the instructor (you may volunteer before you are requested). This solution should be detailed, error free, and typeset in LaTeX.
  2. Submit a review of a paper assigned to you by the instructor. The review should be three-four pages long. It should summarize the main concepts, ideas, and techniques in the paper and offer an overall assessment of the contribution of the paper. (See Math Reviews or Computing Reviews for examples of short reviews.)