During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.
X-by-Construction meets AI
ter Beek M. H.
Writing – Original Draft Preparation
;
2024
Abstract
During the past decade, researchers have investigated X-by-Construction (XbC), encompassing extensions beyond correctness concerns as in the more traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by-construction satisfy certain properties (e.g., non-functional ones in the case of XbC)—also, and in particular, in the setting of probabilistic systems and properties, and both at design time and at runtime. In line with the need to integrate concepts from artificial intelligence (AI), this track brings together researchers and practitioners to share their views on the many possible synergies between CbC/XbC and AI.| File | Dimensione | Formato | |
|---|---|---|---|
|
ISoLA24intro.pdf
solo utenti autorizzati
Descrizione: X-by-Construction Meets AI
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
165.74 kB
Formato
Adobe PDF
|
165.74 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
main.pdf
accesso aperto
Descrizione: This is the Submitted version (preprint) of the following paper: ter Beek M.H et al. “X-by-Construction Meets AI”, 2024 submitted to “Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies. 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV”, Lecture Notes in Computer Science Vol. 15222 pp. 155-161. The final published version is available on the publisher’s website https://link.springer.com/chapter/10.1007/978-3-031-75387-9_10.
Tipologia:
Documento in Pre-print
Licenza:
Altro tipo di licenza
Dimensione
194.56 kB
Formato
Adobe PDF
|
194.56 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
