Abstract
At the beginning of every software development some concepts of what the system should do are formulated. The verification of the software package produced constitutes confirmation that these concepts are in fact fulfilled.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Copyright information
© 1976 Carl Hanser Verlag München Wien
About this chapter
Cite this chapter
Kopetz, H. (1976). Verification of Software. In: Software Reliability. Palgrave, London. https://doi.org/10.1007/978-1-349-86129-3_7
Download citation
DOI: https://doi.org/10.1007/978-1-349-86129-3_7
Publisher Name: Palgrave, London
Print ISBN: 978-0-333-23373-3
Online ISBN: 978-1-349-86129-3
eBook Packages: Palgrave Social & Cultural Studies CollectionSocial Sciences (R0)