• Home
  • Downloads
  • Links

logo


  • Home
  • Research
  • Publications
  • People
  • Collaborations
  • Links
  • Downloads
  • Alumni
  • Contact


Introduction

These days hardware and software systems are increasingly being used in safety-critical domains, such as electronic military and medicine equipment and automated transportation systems. This fact makes the accuracy of their analysis very important as an uncaught system bug may endanger human life or lead to a significant financial loss. Traditionally, the verification of these systems has predominantly been accomplished by computer simulation. However, it does not ascertain 100% correctness and thus has primarily been responsible for many unfortunate incidents that happened due to an erroneous hardware or software system deployed in a safety-critical domain.

The primary focus of our research is on using formal methods, which are based on mathematical techniques and thus unlike simulation ensure complete results, for the analysis and verification of hardware, software, and embedded systems. In particular, we aim at using theorem proving and model checking, which are the some of the widely used formal methods, to develop methodologies, algorithms and tools for the accurate analysis of systems that are continuous or random in nature or interact with continuous or random physical environments.

Besides the formal verification, we are also involved in designing algorithms and techniques for hardware systems. Some of these ongoing activities cover the domains hardware security, approximate computing, thermal and resource management in many-core systems, surgical robotics and cell biology.

What We Do?

  • Theorem Proving
  • Model Checking
  • Hardware Security
  • Approximate Computing
  • Surgical Robotics
  • Cell Biology

Flag Counter

Past Events

Latest News

  • Our PhD student Adnan Rashid has successfully defended his thesis on March 19, 2019.
  • Our PhD student Adnan Rashid has won SAVe Lab - Best Researcher of the Year 2018 award.
  • SAVe Lab has arranged a talk by Prof. Sofiene Tahar from Hardware Verification Group (HVG), Concordia University, Canada on the topic of formal verification.
  • Our PhD Student Adnan Rashid has won the travel award for attending the conference From the Fundamental Lemma to Discrete Geometry, to Formal Verification, to be held in University of Pittsburgh, USA.
  • Our MS Student Ayesha Siddique has won "Richard Newton Young Fellow award" for attending DAC-2018 and the Design Automation Summer School.
  • Our PhD Student Dr. Waqar Ahmad has joined Hardware Verification Group (HVG), Concordia University, Canada as a Postdoctoral Fellow (January 2018)
  • Muhammad Usama Sardar has won SAVe Lab - Best Researcher of the Year 2017
  • Our DAC paper titled "Statistical Error Analysis for Low Power Adders" got European Network on High Performance and Embedded Architecture and Compilation (HiPEAC) 2017 paper award
  • Our MS Student Muhammad Usama Sardar has proceeded to Technische Universitaet (TU) Dresden, Germany to persue his PhD studies (June 2017)
  • Our MS Student Faiq Khalid Lodhi has proceeded to Vienna University of Technology (TU Wien), Austria to persue his PhD studies (April 2017)
  • Applying Formal Methods to Ensure Accurate & Reliable Engineering Systems By Dr. Osman Hasan, article in MIT Technology Review, Pakistan
  • Waqar Ahmad has won SAVe Lab - Best Researcher of the Year 2016.
  • Muhammad Usama Sardar has won the best presenter award in 3rd Workshop on System Analysis and Verification
  • Muhammad Usama Sardar has won the best presenter award in 1st Workshop on System Analysis and Verification – Recent Trends in Theorem Proving
  • Waqar Ahmad has won SAVe Lab - Best Researcher of the Year 2015.
  • Faiq Khalid Lodhi has won SAVe Lab - Best Researcher of the Year 2014.
  • 3rd Workshop on System Analysis and Verification
  • 1st Workshop on System Analysis and Verification – Recent Trends in Theorem Proving
  • Our Aware project won the runners award in the Pasha ICT Award, 2010
  • SAVe lab won a 3.8 Million Rs. research grant for three years from HEC, Pakistan
  • Dr. Osman Hasan won a 40 Million Rs. research grant for three years from National ICT R&D fund, Pakistan
  • Dr. Osman Hasan won the Best University teacher Award from HEC, Pakistan
  • SAVe Lab has arranged a Talk by Dr. Atif Mashkoor on Formal domain engineering: from specification to validation
  • SAVe lab is part of a 0.922 Million US$ research grant for three years from QNRF, QATAR
  • Dr. Osman Hasan won the Excellence in IT Education award from Teradata Pakistan
  • Dr. Osman Hasan won the Best Young Research Scholar Award from HEC, Pakistan
  • Dr. Osman Hasan won the Best Teacher Award (2012-13) from NUST-SEECS

Website Hit counter

Flag Counter

Copyright © 2015 - System Analysis and Verification (SAVe)
Designed by Mubbashir, Ghulam Ul Hassan & Hasan Ishtiaq