IVOIRE Workshop 2023

From Ivoire
Revision as of 14:44, 30 May 2023 by IvoireDL (talk | contribs)
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 was 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 ABZ 2023 in Nancy, France, and will take place on 30th of May 2023.

IVOIRE Workshop 2023 Nancy.jpg

Schedule

The workshop will take place on 30th of May 2023, 14:00–17:30.

  • 14:00–15:30 Session 1 — Session Chair: Michael Leuschel
    • 14:00–14:30 Co-located with Rodin Workshop Session III
    • 14:30–14:35 Intro to the IVOIRE project — Atif Mashkoor and Michael Leuschel
    • 14:35–15:00 Classification and Semantics of Validation Tasks — David Geleßus, HHU Düsseldorf, Germany
    • 15:00–15:30 Formalizing and Validating the VO Approach — Fabian Vu, HHU Düsseldorf, Germany
  • 15:30–15:45 Coffee break
  • 15:45–17:15 Session 2 — Session Chair: Atif Mashkoor
    • 15:45–16:15 Validation-Driven Development — Sebastian Stock, JKU Linz, Austria
    • 16:15–16:45 A Case-study for Incremental Validation — Jean-Pierre Jacquot, University of Lorraine, France
    • 16:45–17:15 Compositional Simulation of Abstract State Machines for Safety Critical Systems — Angelo Gargantini, University of Bergamo, Italy
  • 17:15–17:30 Wrap up

Registration

To register for the workshop, please follow the instructions on the ABZ 2023 registration page.

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)