System Analysis and Verification - SAVe Lab

http://prdc.dependability.org/PRDC2018/index.html

PRDC 2018 is the twenty-third event in the series of symposia started in 1989 that are devoted to dependable and fault-tolerant computing. PRDC is recognized as the main event in the Pacific area that covers many dimensions of dependability and fault tolerance, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated into all aspects of daily life, the dependability of computing systems has become increasingly critical. This symposium provides a forum for countries around the Pacific Rim and other areas of the world to exchange ideas for improving the dependability of computing systems.

Topics of interest include (but not limited to):
- Architecture and System Design for Dependability
- Dependability issues in Computer Networks and the Internet
- Dependability issues in Parallel and Distributed Systems
- Dependability issues in Real-time Systems
- Dependability issues in Databases and Transaction Processing Systems
- Dependability issues in Artificial Intelligence and its Applications
- Dependability Issues in Cloud Computing
- Dependability issues in Cyber-Physical Systems
- Dependability issues in Socio-Technical Systems
- Dependability Measurement, Modeling, Evaluation, and Tools
- Cloud Computing Security and Privacy
- Internet of Things Architectures and Protocols
- Internet of Things Security and Privacy
- Fault-tolerant Algorithms and Protocols
- Software Defined Networks Architectures and Protocols
- Software and Hardware Reliability
- Self-healing, Self-protecting, and Fault-tolerant Systems
- Safety-Critical Systems and Software
- Reliability in Web Systems and Applications

PRDC 2018

Informative Talk.

Tech Talk: Formal Practices Oski Technology president and CEO Vigyan Singhal, discusses with Semiconductor Engineering Technical Editor Brian Bailey how to define formal verification, w...

SMART SIM Team :) Iram Tariq Bhatti Bushra Chaudhary Zohaib Khan

Locally Developed Simulator Promises to Train Surgery Students on MIS Procedures Prohibitive cost of commercially available simulators has so far prevented their uptake by healthcare providers in the country. The traditional practice of imparting training of minimally invasive surgery (MIS) at medical colleges in Pakistan has been through apprenticeships. Junior doctors are plac...

Applying Formal Methods to Ensure Accurate & Reliable Engineering Systems
Read more: http://bit.ly/2mPEA8j
By Dr. Osman Hasan

Applying Formal Methods to Ensure Accurate and Reliable Engineering Systems These days hardware and software systems are progressively being used in safety-critical domains, such as automated transportation networks and electronic military and medicine equipment. This makes the accuracy of their analysis of vital importance since an uncaught system bug can endanger human .....