The course’s sixth week considers mechanisms for extending verifiability into code review.

“Um, what mechanisms are there there? And so verifiability and, you know, things of that nature and how we can extend that into the code review process. Week seven, uh, security.”