X-by-Construction Meets Runtime Verification

Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Samenvatting

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.

Originele taal-2Engels
TitelLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings
RedacteurenTiziana Margaria, Bernhard Steffen
UitgeverijSpringer
Pagina's141-148
Aantal pagina's8
ISBN van geprinte versie9783031198489
DOI's
StatusGepubliceerd - 2022
Evenement11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Griekenland
Duur: 22 okt. 202230 okt. 2022

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13701 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Land/RegioGriekenland
StadRhodes
Periode22/10/2230/10/22

Bibliografische nota

Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Vingerafdruk

Duik in de onderzoeksthema's van 'X-by-Construction Meets Runtime Verification'. Samen vormen ze een unieke vingerafdruk.

Citeer dit