[SystemSafety] Correctness by Construction

Michael Jackson jacksonma at acm.org
Mon Jul 13 14:59:02 CEST 2020

Previous message (by thread): [SystemSafety] Correctness by Construction
Next message (by thread): [SystemSafety] Correctness by Construction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hoping for illuminating replies, I ask an open question. 

In the phrase "Correctness by Construction", what does 'correctness' mean? 

-- Michael

Previous message (by thread): [SystemSafety] Correctness by Construction
Next message (by thread): [SystemSafety] Correctness by Construction
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the systemsafety mailing list