1. Chalmers University of Technology Master Thesis Report Verification of Voice over IP (In Network Integration Solution area) By Ibrahim Qazzaz Supervisor Lars Romin Examiner…