A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Tool Support for Correctness-by-Construction
[chapter]
2019
Lecture Notes in Computer Science
Correctness-by-Construction (CbC) is an approach to incrementally create formally correct programs guided by pre-and postcondition specifications. A program is created using refinement rules that guarantee the resulting implementation is correct with respect to the specification. Although CbC is supposed to lead to code with a low defect rate, it is not prevalent, especially because appropriate tool support is missing. To promote CbC, we provide tool support for CbC-based program development.
doi:10.1007/978-3-030-16722-6_2
fatcat:hjsfdbx4ingxxhmqtwlqkj7nhy