Difference between revisions of "IVOIRE Workshop 2023"
m |
(Workshop has finished) |
||
Line 12: | Line 12: | ||
* Evaluations, benchmarkings, case studies, etc. | * Evaluations, benchmarkings, case studies, etc. | ||
− | The IVOIRE workshop | + | The IVOIRE workshop was co-located with [https://abz2023.loria.fr/ ABZ 2023] in Nancy, France and took place on [https://easychair.org/smart-program/ABZ2023/#session:69989 30th of May 2023]. |
[[File:IVOIRE Workshop 2023 Nancy.jpg||800px]] | [[File:IVOIRE Workshop 2023 Nancy.jpg||800px]] | ||
Line 18: | Line 18: | ||
== Schedule == | == Schedule == | ||
− | The workshop | + | The workshop took place on 30th of May 2023, 14:30–17:30. |
* '''14:00–15:30''' Session 1 — ''Session Chair: Michael Leuschel'' | * '''14:00–15:30''' Session 1 — ''Session Chair: Michael Leuschel'' | ||
Line 31: | Line 31: | ||
** '''16:45–17:15''' Compositional Simulation of Abstract State Machines for Safety Critical Systems — ''Angelo Gargantini, University of Bergamo, Italy'' | ** '''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 | * '''17:15–17:30''' Wrap up | ||
− | |||
− | |||
− | |||
− | |||
== Organizers == | == Organizers == |
Revision as of 21:35, 30 May 2023
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 was co-located with ABZ 2023 in Nancy, France and took place on 30th of May 2023.
Schedule
The workshop took place on 30th of May 2023, 14:30–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
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)