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 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 ]

There are no comments on this comment yet.