2020
Conference article  Restricted

X-by-construction: correctness meets probability

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


Metrics



Back to previous page
BibTeX entry
@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}
}