[SystemSafety] Correctness by Construction

Olwen Morgan olwen at phaedsys.com
Mon Jul 13 16:11:46 CEST 2020


On 13/07/2020 15:03, Peter Bishop wrote:

> <snip?
> Plus, even if we could prove all this, "correct" in this sense does not
> mean that
> the specified behaviour is actually what is needed for the application.
>

Correct (no irony intended).

Olwen





More information about the systemsafety mailing list