1. Saad sadiq (20) Azher tehzeeb (31) Naveed pirzada (09) Nadeem Sarwar (12) 2. Tool and techniques based on mathematical and logical notations in order to develop any s/w…