Verified email-pattern data for System Analysis And Verification (Save) Lab is currently limited. You can still use the company insights and contact sections below.
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
- 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
Flowgenic,
Zones It Solutions,
Workzone | Coworking Space,
Speridian Technologies,
Headroom,
Mavericks United,
Cx2,
Pure Harvest Smart Farms,
Freemius,
Intel Corporation.
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
Explore related pages
System Analysis and Verification (SAVe) Lab company profile
System Analysis and Verification (SAVe) Lab management contacts
Related company profiles:
Companies like System Analysis and Verification (SAVe) Lab
Free Chrome Extension
Find emails, phones & company data instantly
Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Aero Online
Your AI prospecting assistant
Select data to include:
Total price:
$0.00
0 records × $0.02 per record
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 10 free credits.
Search the #1 Contact Database
Get contact details of over 750M+ profiles across 60M companies – all with industry-leading accuracy. Sales Navigator and Recruiter users, try out our Email Finder Extension.
Use our AI-Powered Email Finder
Find business and personal emails and mobile phone numbers with exclusive coverage across niche job titles, industries, and more for unparalleled targeting. Also available via our Contact Data API.