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 is colocated with CAV 2015 in San Francisco, USA.

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?

VeriSure 2015 is largely devoted to invited talks on the topic "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


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

    Towards Meaningful Assurance Cases


  3. Alan Wassyng
    McMaster University

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


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.


  2. Ewen Denney and Ganesh Pai
    NASA Ames

    The Role of Formalization and Argumentation in Assurance Cases


  3. John Knight
    University of Virginia

    Assurance Cases - The Home for Verification


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


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

    Using a Perfect Argument in an Imperfect World


  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


    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?


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

    Representing Confidence in Assurance Case Evidence


  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


  2. Kevin Sullivan
    University of Virginia Department of Computer Science

    Continuous Systems Value Assurance


Workshop Organizer

John Rushby, SRI International