1. Software Verification and Validation 1David Kung, University of Texas at Arlington, USA Hong Zhu, Oxford Brookes University, UKSoftware verification and validation are…