News for hackers. Stuff that matters.

A comment on A corrupt file led to the FAA ground stoppage. It was also found in the backup. Parent comment

Re:A corrupt file led to the FAA ground stoppage. It was als... by namibj on Thursday January 12, 2023 @06:02AM (#34351845)
Formal verification of not having such fatal bugs would allow a real-time system without reliance of backups to not screw up, but still of course having logs/rollbacks for (human) input actions to cope with mistakes.

It's just that production software essentially never used formal verification to a sufficient extend.

[ Parent | on HN ]
Re:A corrupt file led to the FAA ground stoppage. It was als... by ilyt on Thursday January 12, 2023 @07:15AM (#34352386)
Well, it is hideously expensive to do on bigger pieces of code. And I'd imagine you can still get the spec you verify against wrong
[ Parent | on HN ]