This assignment will be done exclusively in Latex. A template file is provided (assign1.zip), it contains the main file assign1.tex that you should use to prepare your assignment document
April 15th, 2022
The reading materials assigned for the first week of lecture cover three themes that are: Algorithm analysis, algorithm correctness, and Software Verification (Testing vs. Formal Methods). Write a one-page abstract (pdf) compiled from the latex file (assign1.tex), that summarizes these themes.