Formal methods in Software Engineering

  KARAKORAM INTERNATIONAL UNIVERSITY GILGIT NAME:   GHULAM MURTAZA KHAN SUBMITTED TO:   SIR, ASIF HUSSAIN REGISTRATION #:   2020-KIU-BS2075 SUBJECT: FORMAL METHODS IN SOFTWARE ENGINEERING Title:  Summarize the Objectives and Outcomes of the Formal Methods in Software Engineering Course . This course of formal methods in software engineering was a unique subject as compared to previous semesters subjects, it has been an a good learning journey. It has helped me to understand and apply formal methods in software development, fostering problem-solving skills, verification capabilities, effective communication, and risk mitigation strategies up-to a good point. Lets first discuss few things before jumping into the objective of the Formal Methods in Software Engineering course. When we talk about software engineering, it involves the design, development and maintenance of critical and complex systems. So why we should use Formal methods if we can develop a software using software engineerin