[SystemSafety] Correctness by Construction

[Martyn Thomas]

On 13/07/2020 13:59, Michael Jackson wrote:

> Hoping for illuminating replies, I ask an open question. 
>
> In the phrase "Correctness by Construction", what does 'correctness' mean? 
>
> -- Michael

>90% fewer defects in delivered software-based systems than you are
probably  achieving currently

Are you going to ask what "defects" means?

Martyn