@inproceedings{b6556f4316584bbd8aea964fb0ae5d2f,
title = "X-by-Construction: Correctness Meets Probability",
abstract = "In recent years, researchers have started to investigate X-by-Construction (XbC) as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties, beyond correctness as considered by the more traditional Correctness-by-Construction (CbC). In line with increasing attention for fault-tolerance and the use of machine-learning techniques in modern software systems, in which even correctness is hard to establish, this track brings together researchers and practitioners that are interested in XbC in particular in the setting of probabilistic properties.",
author = "{ter Beek}, {Maurice H.} and Loek Cleophas and Axel Legay and Ina Schaefer and Watson, {Bruce W.}",
year = "2020",
doi = "10.1007/978-3-030-61362-4_11",
language = "English",
isbn = "9783030613617",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "211--215",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
address = "Germany",
note = "9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 ; Conference date: 20-10-2020 Through 30-10-2020",
}