Difference between revisions of "IVOIRE Workshop 2024"
(Link to ABZ 2024 venue page) |
|||
| Line 18: | Line 18: | ||
'''Conference Room:''' Room 5 | '''Conference Room:''' Room 5 | ||
| − | * '''14:00–15:30''' Session 1 — ''Session Chair: | + | * '''14:00–15:30''' Session 1 — ''Session Chair: Fabian Vu'' |
** '''14:00–14:30''' Validation of Domain and Meta Models: From Event-B Theories to Practice — ''Michael Leuschel, University of Düsseldorf, Germany'' | ** '''14:00–14:30''' Validation of Domain and Meta Models: From Event-B Theories to Practice — ''Michael Leuschel, University of Düsseldorf, Germany'' | ||
** '''14:30–15:00''' IVOIRE Project: Results and Insights — ''Atif Mashkoor, Johannes Kepler University, Austria'' | ** '''14:30–15:00''' IVOIRE Project: Results and Insights — ''Atif Mashkoor, Johannes Kepler University, Austria'' | ||
| − | ** '''15:00–15:30''' | + | ** '''15:00–15:30''' An Exercise in Multi-modeling — ''Jean-Pierre Jacquot, University of Lorraine, France'' |
* '''15:30–16:00''' Coffee break | * '''15:30–16:00''' Coffee break | ||
| − | * '''16:00–18:00''' Session 2 — ''Session Chair: | + | * '''16:00–18:00''' Session 2 — ''Session Chair: Atif Mashkoor'' |
| − | ** '''16:00–16:30''' | + | ** '''16:00–16:30''' Validation Obligations in Practice — ''Fabian Vu, University of Düsseldorf, Germany'' |
| − | ** '''16:30–17:00''' Validation Obligations Manager — ''David Geleßus, University of Düsseldorf, Germany'' | + | ** '''16:30–17:00''' Validation Obligations Manager — ''David Geleßus, Fabian Vu, University of Düsseldorf, Germany'' |
** '''17:00–17:30''' What Should I Verify? — ''Marie Farrell, University of Manchester, UK'' | ** '''17:00–17:30''' What Should I Verify? — ''Marie Farrell, University of Manchester, UK'' | ||
** '''17:30–18:00''' Discussion and conclusion | ** '''17:30–18:00''' Discussion and conclusion | ||
Revision as of 09:17, 25 June 2024
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, benchmarking, case studies, etc.
The IVOIRE workshop will be co-located with ABZ 2024 at the University of Bergamo, Italy and will take place on 25th of June 2024.
Schedule
Conference Room: Room 5
- 14:00–15:30 Session 1 — Session Chair: Fabian Vu
- 14:00–14:30 Validation of Domain and Meta Models: From Event-B Theories to Practice — Michael Leuschel, University of Düsseldorf, Germany
- 14:30–15:00 IVOIRE Project: Results and Insights — Atif Mashkoor, Johannes Kepler University, Austria
- 15:00–15:30 An Exercise in Multi-modeling — Jean-Pierre Jacquot, University of Lorraine, France
- 15:30–16:00 Coffee break
- 16:00–18:00 Session 2 — Session Chair: Atif Mashkoor
- 16:00–16:30 Validation Obligations in Practice — Fabian Vu, University of Düsseldorf, Germany
- 16:30–17:00 Validation Obligations Manager — David Geleßus, Fabian Vu, University of Düsseldorf, Germany
- 17:00–17:30 What Should I Verify? — Marie Farrell, University of Manchester, UK
- 17:30–18:00 Discussion and conclusion
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)
