Experience with correctness-by-construction

• We discuss the correctness-by-construction approach to software development.
• We discuss our experience with this approach in various algorithmic settings.
• We argue that its application to algorithmically complex system parts is worthwhile.

We discuss the correctness-by-construction approach to software development, and our experience with this approach in various small to large scale algorithmic settings. We argue that although it is not realistic to apply the approach in developing every line of code of a software system, its pragmatic application to the algorithmically complex parts of such a system is worthwhile.