"independently generated from *the same initial specifications*" For all we know... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

userbinator on May 2, 2015 | parent | context | favorite | on: Integer Overflow Bug in Boeing 787 Dreamliner

"independently generated from the same initial specifications"

For all we know, if the spec required a counter of 100ms intervals, all N implementations could contain the same bug.

N-version avoids random, but not systematic bugs.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact