A Black-Box and Contract-Based Verification of

Abdul Hafeez1, Syed Abbas2, and Aqeel-ur-Rehman3 1Department of Computer Science, SMI University, Karachi 2Faculty Engineering Science and Technology, Indus University, Karachi 3Faculty of Engineering Science and Technology, Hamdard University, Karachi