View
3
Download
0
Category
Preview:
Citation preview
.
.
CS 3110 — Data Structures andFunctional Programming
Lecture 14Logic and Veri cation
6 March 2012
Software Bugs: Mariner 1
..
“The omission of a hyphenin some mathematical datacaused the $18,500,000 fail-ure of a spacecraft launchedtoward Venus last Sunday,scientists disclosed today...”
.
.2
Software Bugs: Therac 25
..
“A computer malfunctionapparently caused excessiveradiation doses for two can-cer patients at a treatmentcenter, causing the death ofoneman, a Texas of cial saidtoday...”
.
.
3
Software Bugs: Stuxnet
.
.
.
4
.
.
5
.
.5
.
.
5
Recommended