Difference between revisions of "IVOIRE Workshop 2022"

From Ivoire
Jump to navigation Jump to search
(→‎Schedule: Atif Mashkoor's slides)
(→‎Schedule: Alexander Egyed's presentation)
Line 39: Line 39:
 
* '''16:00–16:30''' ''Coffee break''
 
* '''16:00–16:30''' ''Coffee break''
 
* '''16:30–17:00''' Industrial perspective on validation (Session Chair: Michael Leuschel)
 
* '''16:30–17:00''' Industrial perspective on validation (Session Chair: Michael Leuschel)
** '''16:30–17:00''' [[Media:Thierry Lecomte - Methodology for formal proof of spec.pdf|Methodology for formal proof of specification]] (Thierry Lecomte, CLEARSY, France)
+
** '''16:30–17:00''' [[Media:Alexander Egyed - DesignSpace for collaborative engineering.pdf|DesignSpace for collaborative engineering]] (Alexander Egyed, JKU Linz, Austria)
 +
** [[Media:Thierry Lecomte - Methodology for formal proof of spec.pdf|Methodology for formal proof of specification]] (Thierry Lecomte, CLEARSY, France)
 
* '''17:00–17:30''' Discussion and concluding remarks
 
* '''17:00–17:30''' Discussion and concluding remarks
 
* '''19:30''' ''Workshop dinner''
 
* '''19:30''' ''Workshop dinner''

Revision as of 13:21, 9 June 2022

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

(Times are subject to change depending on the schedule of the main conference)

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)