Ter Beek M. H., Cleophas L., Legay A., Schaefer I., Watson B. W.
Systems-of-systems Quantitative modelling and analysis Synthesis Correctness-by-construction Non-functional properties Probablistic systems Performance
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.
Source: ISoLA 2020 - 9th International Symposium on Leveraging Applications of Formal Methods, pp. 211–215, Rhodes, Greece, 20-30 October, 2020
Publisher: Springer, Berlin, DEU
@inproceedings{oai:it.cnr:prodotti:434868, title = {X-by-construction: correctness meets probability}, author = {Ter Beek M. H. and Cleophas L. and Legay A. and Schaefer I. and Watson B. W.}, publisher = {Springer, Berlin, DEU}, doi = {10.1007/978-3-030-61362-4_11}, booktitle = {ISoLA 2020 - 9th International Symposium on Leveraging Applications of Formal Methods, pp. 211–215, Rhodes, Greece, 20-30 October, 2020}, year = {2020} }