Welcome to the website of Formal Methods in Software Engineering Research Group at COMSATS Institute of Information Technology, Sahiwal Campus. Formal methods are techniques based on discrete mathematics, such as, logic, set theory and graph theory, for defining properties of computerized systems. There are more than 90 tools and specification languages used for modeling and analysis of software systems. Formal Methods have rigorous tool support for the specification, design and verification of software and hardware systems. Such tools examine the entire state space of a system described in any specification language by analyzing its properties. Formal Methods are helpful in removing ambiguities at any level of systems development increasing confidence, dependability and usability. Formal methods are getting importance at academics as well as at industrial level. According to a survey conducted by European Higher Education, there are more than 117 courses being taught spreading over 58 higher education institutions across 13 European countries. The use of formal methods is recommended in development of complex and safety critical systems.

Research Group Areas:

  • Software Engineering
  • Unified Modeling Language (UML)
  • Formal Specifications
  • Requirements Analysis
  • Validation and Verification
  • Proving Techniques
  • Model Checking and Theorem Proving
  • Program Verification
  • Integration of Approaches
  • Quality of Software
  • Modeling using Graph Theory