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-2 | Engels |
---|---|
Titel | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings |
Redacteuren | Tiziana Margaria, Bernhard Steffen |
Uitgeverij | Springer |
Pagina's | 141-148 |
Aantal pagina's | 8 |
ISBN van geprinte versie | 9783031198489 |
DOI's | |
Status | Gepubliceerd - 2022 |
Evenement | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Griekenland Duur: 22 okt. 2022 → 30 okt. 2022 |
Publicatie series
Naam | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 13701 LNCS |
ISSN van geprinte versie | 0302-9743 |
ISSN van elektronische versie | 1611-3349 |
Congres
Congres | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 |
---|---|
Land/Regio | Griekenland |
Stad | Rhodes |
Periode | 22/10/22 → 30/10/22 |
Bibliografische nota
Publisher Copyright:© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.