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.
