In recent years, researchers have started to investigate X-by-Construction (XbC) -- beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm -- as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties -- also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.
X-by-construction meets runtime verification
ter Beek M. H.;
2022
Abstract
In recent years, researchers have started to investigate X-by-Construction (XbC) -- beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm -- as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties -- also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_471908-doc_191856.pdf
accesso aperto
Descrizione: Preprint - X-by-construction meets runtime verification
Tipologia:
Versione Editoriale (PDF)
Dimensione
191.55 kB
Formato
Adobe PDF
|
191.55 kB | Adobe PDF | Visualizza/Apri |
|
prod_471908-doc_192230.pdf
solo utenti autorizzati
Descrizione: X-by-construction meets runtime verification
Tipologia:
Versione Editoriale (PDF)
Dimensione
164.1 kB
Formato
Adobe PDF
|
164.1 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
