Varieties of Correctness
2018
When software does not work, does not conform to its speci_cation, it is said to be incorrect; it is said to contain mistakes or bugs. Some instances are infamous. Mistakes in the software controlling the radiation therapy machine Therac-25 had fatal consequences, mistakes in the guidance system software of Ariane 5 caused it to crash, and a mistake in AT&T’s software caused computer crashes.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI