Skip to Main Content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

Formal Methods in Software Engineering: Home

In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems

Learning Objective

Students should be able to understand and apply

  1. Recognize the power of mathematics in formal methods.
  2. Recognize the importance of formal notations at requirements level
  3. Recognize and understand one or more formal notation
  4. Develop skills to model requirements in formal notation
  5. Recognize different constructs of a graphical formal notation
  6. Develop skills to model requirements in a graphical formal notation
  7. Understand the role of formal analysis -using tools (automated analysis)


The course guide is an easy source to get required information
Agree: 3 votes (100%)
Disagree: 0 votes (0%)
Not sure: 0 votes (0%)
Total Votes: 3


Deputy Director

Profile Photo
Khurram Shahzad
Information Services Department
I-14, Main Campus, Riphah International University, Near Hajj Complex, Islamabad
051-846000-8 ext-283
Skype Contact: khurram_malik7