News for hackers. Stuff that matters.

A comment on Software bug made Bombardier planes turn the wrong way. Parent comment

Re:Software bug made Bombardier planes turn the wrong way by heavenlyblue on Friday May 29, 2020 @06:58PM (#23356585)
Then it means that they had to formally verify the specification itself.

It’s not that hard by the way. And they did that, but handwaved the critique - the typical approach of “my guts are probably more correct than maths”.

[ Parent | on HN ]
Re:Software bug made Bombardier planes turn the wrong way by nicoburns on Friday May 29, 2020 @07:42PM (#23356942)
Formal verificatiom can't tell you if you're assumptions are off. It can only work from those assumptions.
[ Parent | on HN ]