Outline CSW project presentation
Flesh out CSW slides
Lit review: loop invariants & example of verification by proof