Abstract
The author started systematic testing in the early seventies, formed LDRA Ltd in 1975, and having stayed in business ever since has acquired considerable experience. The verification tool market is small, mainly embedded systems, and strongly customer driven. Other markets still believe that black-box testing does the job!
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hennell, M. (2008). The First Thirty Years: Experience with Software Verification. In: Beckert, B., Hähnle, R. (eds) Tests and Proofs. TAP 2008. Lecture Notes in Computer Science, vol 4966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79124-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-79124-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79123-2
Online ISBN: 978-3-540-79124-9
eBook Packages: Computer ScienceComputer Science (R0)