News for hackers. Stuff that matters.
Re:How the Boeing 737 Max disaster looks to a software Devel... by AnimalMuppet on Thursday April 18, 2019 @06:20PM (#19695320)
This. MCAS was the wrong thing to build. The wrong thing, correctly built, is still wrong, no matter how perfect the formal verification.
Re:How the Boeing 737 Max disaster looks to a software Devel... by no-s on Friday April 19, 2019 @11:56AM (#19700564)
So true. The problem is in the system at a higher level. It is not really a software defect that killed all those folks.