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.
[ Parent
| on HN ]