VeriSure: Verification and Assurance

18 July 2015, San Francisco USA

In association with Computer-Aided Verification (CAV) 2015

Register for the workshop with CAV at the link above

Workshop Description

VeriSure is a workshop that explores issues at the conjunction of computer-aided verification and system assurance.

It's a workshop so we welcome presentations that describe interesting work, experience, and ideas (possibly preliminary and exploratory) that will stimulate discussion and thought.

This will be the Third VeriSure Workshop: the first was held at CAV 2013 in St. Petersburg, Russia, and the program is available here, while the second was held with CAV 2014 as part of FloC in Vienna, Austria, and its program is available here

Workshop Location

The workshop will be held in room Fillmore C, Theatre Level (one below lobby), Grand Hyatt, San Francisco.

VeriSure 2015 Workshop Program: What is an Assurance Case?

We have an exciting program with a very full schedule and look forward to a stimulating workshop and to seeing you there.

Abstracts for all talks are available here

VeriSure 2015 Preliminary Schedule

Session 1: 8:30 to 10:00

1. Lu Feng, Andrew King, Insup Lee, Oleg Sokolsky
   PRECISE Center, Department of Computer and Information Science, University of Pennsylvania
   

   Towards a Logical Foundation for Assurance Arguments for Plug & Play Systems

   slides

2. Harald Ruess, Sebastian Voss, and Carmen Carlan
   Fortiss, Munich
   

   Towards Meaningful Assurance Cases

   slides

3. Alan Wassyng
   McMaster University
   

   A Template for an Assurance Case Shall Be Known as an Assurance Case Template

   slides

Break: 10:00 to 10:30

Session 2: 10:30 to 12:00

1. Yutaka Matsuno
   Department of Computer Engineering, College of Science and Technology, Nihon University
   

   Toward Practical Use of Assurance Cases: Definitions, Methods, and Tools.

   slides

2. Ewen Denney and Ganesh Pai
   NASA Ames
   

   The Role of Formalization and Argumentation in Assurance Cases

   slides

3. John Knight
   University of Virginia
   

   Assurance Cases - The Home for Verification

   slides

Lunch: 12:00 to 13:30

Session 3: 13:30 to 15:00

1. Silvia Grigorova, Tom Maibaum
   McMaster University
   

   On the Necessity of Evaluating Safety Evidence Weight and the Use of Baconian Reasoning

   slides

2. John B. Goodenough, Charles B. Weinstock
   Software Engineering Institute
   

   Using a Perfect Argument in an Imperfect World

   slides

3. Short talks (10 minutes each)

   1. Daniel Ratiu
      Siemens Corporate Technology Research and Technology Center, Munich
      Vincent Nimal
      University of Oxford
      

      Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs
      (Towards Using Formal Verification for Low Criticality Functions)

      slides paper

   2. Marco Bozzano, Alessandro Cimatti, Stefano Tonetta
      Fondazione Bruno Kessler Trento, Italy
      

      Integrating contract-based design, model checking, and model-based safety assessment

      slides

   3. Paolo Masci, Paul Curzon
      Queen Mary Univ. of London
      Piergiuseppe Mallozzi
      University of Pisa
      Francesco Luca De Angelis, Giovanna Di Marzo Serugendo
      University of Geneva
      

      Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments

      slides paper

Break: 15:00 to 15:30

Session 4: 15:30 to 17:00

1. Robin Bloomfield, Bev Littlewood, Xingyu Zhao
   Adelard and City University UK
   

   Probability Of Perfection - A Practicable Approach?

   slides

2. Lian Duan, Mats Heimdahl
   Department of Computer Science and Engineering, University of Minnesota.
   

   Representing Confidence in Assurance Case Evidence

   slides

3. Paul Joannou
   McMaster Centre for Software Certification
   

   Acceptance Criteria for Systems Supported by an Assurance Case

   slides standard

Session 5: 17:00 to 18:00

1. Valentin Cassano, Tom Maibaum, Silvia Grigorova
   McMaster University
   

   A Reassessment of Toulmin's Argument Scheme in the Context of Assurance Cases

   slides

2. Kevin Sullivan
   University of Virginia Department of Computer Science
   

   Continuous Systems Value Assurance

   slides

Workshop Organizer