X-by-Construction : Correctness Meets Probability

ter Beek, Maurice H.;Cleophas, Loek;Legay, Axel;Schaefer, Ina;Watson, Bruce W.
(2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Files

mauriceisola.pdf
  • Open Access
  • Adobe PDF
  • 175.96 KB
Download

Details

Authors
  • ter Beek, Maurice H.
    Author
  • Cleophas, Loek
    Author
  • Legay, AxelUCLouvain
    Author
  • Schaefer, Ina
    Author
  • Watson, Bruce W.
    Author
Abstract
In recent years, researchers have started to investigate X-byConstruction (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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

ter Beek, M. H., Cleophas, L., Legay, A., Schaefer, I., & Watson, B. W. (2020). X-by-Construction : Correctness Meets Probability. Lecture Notes in Computer Science, p. 211-215. https://doi.org/10.1007/978-3-030-61362-4_11