[cap-talk] Why aren't safer OS being used

[Raoul Duke]

> But there are a few (very few) places where the requirement makes sense.  Critical systems, such as nuclear plants, must get their software certified.  Every time they update their software, they run a test suite, which produces several hundred MB of output.  If that output matches the approved version bit for bit, they're done.  If not, it costs upwards of $1M to certify the changes.

ah, good thing testing can prove the absence of bugs ;-)