Tuesday, September 9, 2008

Costly Programming Error


Text: The Ariane-5 launch on June 4, 1996; it crashed 36 seconds after the launch due to a conversion of a 64-bit floating point into a 16-bit integer value.

Courtesy: Principles Of Model Checking (MIT Press)