IVOIRE Workshop 2022

From Ivoire
Jump to navigation Jump to search

Historically, formal methods and supported environments have focused more on only one-half of the quality-assurance process: verification (are we building the software right?). The other half, validation (are we building the right software?) has been given much less attention, i.e., we have fewer automated/push-button tools available for validation, unlike verification.

The IVOIRE project focuses on developing an enhanced formal paradigm based on an extension of the refinement framework that includes a comprehensive validation process and toolchain to perform validation obligations. The main goal of this workshop is to provide a platform for formal methods practitioners, researchers, and academics to discuss various issues associated with validation for formal methods, including but not limited to:

  • Validation obligations or other systematic approaches to validation
  • Relation between refinement and validation, and the interplay between verification and validation
  • Environments and tools to manage the validation process
  • Evaluations, benchmarkings, case studies, etc.

The IVOIRE workshop will be co-located with iFM 2022 in Lugano, Switzerland, taking place on 7 June 2022 (the day before the main conference). The workshop is currently planned to take place physically, like the conference itself.

Schedule

  • 09:00–09:15 Welcome note by Michael Leuschel (HHU, Germany) and Atif Mashkoor (JKU, Austria)
  • 09:15–10:15 IVOIRE Theory
    • 09:15–09:35 Introduction: Validation Obligations
    • 09:35–09:55 Refinement of VOs, Abstraction + Nonlinear Refinement
    • 09:55–10:15 IVOIRE Demo: ProB2-UI (+ VO Manager)
  • 10:15–10:45 Coffee break
  • 10:45–12:25 B/Event-B's perspective on validation
    • 10:45–11:15 Jean-Pierre Jacquot (University of Lorraine, France)
    • 11:15–11:45 Richard Banach (University of Manchester, UK)
    • 11:45–12:15
  • 12:15–14:00 Lunch break
  • 14:00–15:30 ASM's perspective on validation
    • 14:00–14:30 Egon Börger (University of Pisa, Italy)
    • 14:30–15:00 Angelo Gargantini (University of Bergamo, Italy)
    • 15:00–15:30 Elvinia Riccobene (University of Milan, Italy)
  • 15:30–16:00 Coffee break
  • 16:00–17:00 Industrial perspective on validation
    • 16:00–16:30 Thierry Lecomte (Clearsy, France)
    • 16:30–17:00
  • 17:00–18:00 Discussion and concluding remarks
  • 19:30 Workshop dinner

Registration

Registration for the workshop will be handled by iFM. See their registration page for details.

Organizers

Workshop chairs:

  • Atif Mashkoor (JKU Linz, Austria)
  • Michael Leuschel (HHU Düsseldorf, Germany)

Workshop organizing committee:

  • Sebastian Stock (JKU Linz, Austria)
  • Fabian Vu (HHU Düsseldorf, Germany)
  • David Geleßus (HHU Düsseldorf, Germany)