ATTENTION: The software behind KU ScholarWorks is being upgraded to a new version. Starting July 15th, users will not be able to log in to the system, add items, nor make any changes until the new version is in place at the end of July. Searching for articles and opening files will continue to work while the system is being updated.
If you have any questions, please contact Marianne Reed at mreed@ku.edu .
Why There is no General Solution to the Problem of Software Verification
dc.contributor.author | Symons, John | |
dc.contributor.author | Horner, Jack J. | |
dc.date.accessioned | 2019-07-31T14:02:18Z | |
dc.date.available | 2019-07-31T14:02:18Z | |
dc.date.issued | 2019-06-03 | |
dc.identifier.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 | en_US |
dc.identifier.uri | http://hdl.handle.net/1808/29420 | |
dc.description.abstract | 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. | en_US |
dc.description.sponsorship | The National Security Agency through the Science of Security initiative contract #H98230-18-D-0009. | en_US |
dc.publisher | Springer | en_US |
dc.rights | © Springer Nature B.V. 2019 | en_US |
dc.subject | Software verification | en_US |
dc.subject | Error | en_US |
dc.subject | Model checker | en_US |
dc.subject | Philosophy of computer science | en_US |
dc.title | Why There is no General Solution to the Problem of Software Verification | en_US |
dc.type | Article | en_US |
kusw.kuauthor | Symons, John | |
kusw.kudepartment | Philosophy | en_US |
dc.identifier.doi | 10.1007/s10699-019-09611-w | en_US |
dc.identifier.orcid | https://orcid.org/0000-0001-8173-2948 | en_US |
kusw.oaversion | Scholarly/refereed, author accepted manuscript | en_US |
kusw.oapolicy | This item meets KU Open Access policy criteria. | en_US |
dc.rights.accessrights | OpenAccess | en_US |