Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Turner, R. (2018). Varieties of Correctness. In: Computational Artifacts. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55565-1_24
Download citation
DOI: https://doi.org/10.1007/978-3-662-55565-1_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55564-4
Online ISBN: 978-3-662-55565-1
eBook Packages: Computer ScienceComputer Science (R0)