Skip to Main Content

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


Information Advisor

Profile Photo
Malik Ghulam Hussain
Information Services Department
Riphah International University Main Campus Islamabad