Why There is no General Solution to the Problem of Software Verification
View/ Open
Issue Date
2019-06-03Author
Symons, John
Horner, Jack J.
Publisher
Springer
Type
Article
Article Version
Scholarly/refereed, author accepted manuscript
Rights
© Springer Nature B.V. 2019
Metadata
Show full item recordAbstract
How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.
Collections
Citation
Symons, J., & Horner, J. K. (2019). Why There is no General Solution to the Problem of Software Verification. Foundations of Science. doi:10.1007/s10699-019-09611-w
Items in KU ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
We want to hear from you! Please share your stories about how Open Access to this item benefits YOU.