Perform a verification and validation walkthrough of the functional, structural, and behavioral models of the video store system problem-domain layer described in exercises L and M in Chapter 5, exercise N in Chapter 6, and exercises A, B, and C in Chapter 7.