News for hackers. Stuff that matters.

A comment on How the Boeing 737 Max disaster looks to a software Developer. Parent comment

Re:How the Boeing 737 Max disaster looks to a software Devel... by crimsonalucard on Thursday April 18, 2019 @11:49PM (#19696956)
That's what I'm arguing. Code can be proven correct against a formal spec.

However, because we don't do proofs in software, there are bugs.

[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by throwaway2048 on Thursday April 18, 2019 @11:52PM (#19696971)
Code is itself a specification.
[ Parent | on HN ]
Re:How the Boeing 737 Max disaster looks to a software Devel... by crimsonalucard on Friday April 19, 2019 @02:56AM (#19697609)
It can be, but generally it is not.
[ Parent | on HN ]