Verification: Improve organization

[amyjko]

I would like a quick summary about the differences between verifications. Although I love how Amy explained everything, I felt a bit overwhelming regarding this chapter, especially about all the type of verification and the subdivision (Empirical and analysis)  in each type. Thus, I would appreciate a short summary or a table that helps me recap these details and grasp the nuances.

I think some concrete examples for manual testing, automated testing, empirical, and analytical would be helpful (similar to unit/integration/regression tests examples). For me, a table would be helpful to understand the differences between the testing types and would have led to better understanding throughout the chapter on testing and analysis.