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 |