|
|
|
|
|
|
by bsder
3122 days ago
|
|
|
Quoting myself upthread: > If you read the paper you would find that the VAST majority of issues were human communication or understanding of the problem. No programming language can fix that. At no point did I argue that Rust would have prevented the Air France Flight 447 kind of failure. However, neither would Ada have prevented this kind of failure. I WAS however taking issue with the quoted "nobody has ever been killed by a flaw in Avonics software". |
|
|
It's not the software that killed people it's the spec.