精度保証付き数値計算
数値計算の誤差によって生じた事故として次の3つが挙げられる。
湾岸戦争でのミサイル迎撃失敗(1991年)
アリアン5ロケットの発射失敗(1996年)
選挙結果の間違い