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 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.
Company Details
- Founded
- -
- Industry
- It Services And It Consulting
- NAICS
-
Computer Systems Design and Related ServicesOther Computer Related Services
- Website
- http://save.seecs.nust.edu.pk/
System Analysis And Verification (Save) Lab Questions
System Analysis And Verification (Save) Lab's website is http://save.seecs.nust.edu.pk/
System Analysis And Verification (Save) Lab's LinkedIn profile is https://www.linkedin.com/company/system-analysis-and-verification-save-lab
System Analysis And Verification (Save) Lab's industry is
IT Services and IT Consulting
System Analysis And Verification (Save) Lab's top competitors are
Intel Corporation,
Flowgenic,
Workzone | Coworking Space,
Pure Harvest Smart Farms,
Freemius,
Mavericks United,
Speridian Technologies,
Headroom,
Cx2,
Zones It Solutions.
System Analysis And Verification (Save) Lab's categories are IT Services and IT Consulting
System Analysis And Verification (Save) Lab's founding year is 2008
